Source author record

Hari Krishna Malladi

Hari Krishna Malladi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2016arXiv

Feedback-based Approach to Introduce Freshness in Recommendations

Recommender systems usually face the problem of serving the same recommendations across multiple sessions regardless of whether the user is interested in them or not, thereby reducing their effectiveness. To add freshness to the recommended products, we introduce a feedback loop where the set of recommended products in the current session depend on the user's interaction with the previously recommended sets. We also describe ways of addressing freshness when there is little or even no direct user interaction. We define a metric to quantify freshness by reducing the problem to measuring temporal diversity.

preprint2013arXiv

A Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition

The Cylindrical Algebraic Decomposition (CAD) algorithm is a comprehensive tool to perform quantifier elimination over real closed fields. CAD has doubly exponential running time, making it infeasible for practical purposes. We propose to use the notions of clause normal forms and virtual substitutions to develop a preprocessor for CAD, that will enable an input-level parallelism. We study the performance of CAD in the presence of the preprocessor by extensive experimentation. Since parallelizability of CAD depends on the structure of given prenex formula, we introduce some structural notions to study the performance of CAD with the proposed preprocessor.