129 search results - page 24 / 26 » Interactive Theorem Proving - Modelling the User in the Proo... |
142
click to vote
DLOG
2003
15 years 5 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
132
click to vote
PVLDB
2010
15 years 2 months ago
2010
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...
110
click to vote
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
To improve human-computer interaction (HCI), computers need to recognize and respond properly to their user's emotional state. This is a fundamental application of affective c...
131
click to vote
JSAC
2008
15 years 4 months ago
2008
We propose two unstructured file sharing games, unilateral and bilateral unstructured file sharing games, to study the interaction among self-interested players (users) of unstruct...
146
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...