129 search results - page 24 / 26 » Interactive Theorem Proving - Modelling the User in the Proo... |
DLOG
2003
13 years 7 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...
PVLDB
2010
13 years 4 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...
ECCV
2006
Springer
13 years 10 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...
JSAC
2008
13 years 6 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...
ICARCV
2006
IEEE
14 years 8 days 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 ...