1284 search results - page 33 / 257 » On Helping and Interactive Proof Systems |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In Open Multi-Agent Systems (OMAS), deciding with whom to interact is a particularly difficult task for an agent, as repeated interactions with the same agents are scarce, and rep...
ICMI
2004
Springer
14 years 28 days ago
2004
Springer
We propose an architecture for a real-time multimodal system, which provides non-contact, adaptive user interfacing for Computer-Assisted Surgery (CAS). The system, called M/ORIS ...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
We propose a new Web search system that helps users clarify their information needs through interaction. The system represents the user's information needs using a query grap...
ENTCS
2006
13 years 7 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
FDG
2009
ACM
14 years 2 months ago
2009
ACM
Successful lighting in video games is more than a physically accurate illumination model. Aesthetics and function are of equal or greater importance. Lighting designers may deviat...