Sciweavers

3007 search results - page 486 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
77
Voted
WWW
2005
ACM
15 years 10 months ago
Multi-step media adaptation: implementation of a knowledge-based engine
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
Peter Soetens, Matthias De Geyter
WWW
2004
ACM
15 years 10 months ago
Tv2web: generating and browsing web with multiple lod from video streams and their metadata
We propose a method of automatically constructing Web content from video streams with metadata that we call TV2Web. The Web content includes thumbnails of video units and caption ...
Kazutoshi Sumiya, Mahendren Munisamy, Katsumi Tana...
CHI
2009
ACM
15 years 10 months ago
Intentions: a game for classifying search query intent
Knowing the intent of a search query allows for more intelligent ways of retrieving relevant search results. Most of the recent work on automatic detection of query intent uses su...
Edith Law, Anton Mityagin, David Maxwell Chickerin...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
15 years 10 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
CHI
2006
ACM
15 years 10 months ago
Generating automated predictions of behavior strategically adapted to specific performance objectives
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
Katherine Eng, Richard L. Lewis, Irene Tollinger, ...