14386 search results - page 2814 / 2878 » Algorithms for user interfaces |
WSDM
2010
ACM
14 years 7 months ago
2010
ACM
Recent advances in click model have positioned it as an attractive method for representing user preferences in web search and online advertising. Yet, most of the existing works f...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
SDM
2009
SIAM
14 years 7 months ago
2009
SIAM
Query-oriented summarization aims at extracting an informative summary from a document collection for a given query. It is very useful to help users grasp the main information rel...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Content sharing through vehicle-to-vehicle communication can help people find their interested content on the road. In VANETs, due to limited contact duration and unreliable wire...
EUROGRAPHICS
2010
Eurographics
14 years 7 months ago
2010
Eurographics
This paper presents a novel interactive approach for adding depth information into hand-drawn cartoon images and animations. In comparison to previous depth assignment techniques ...