4099 search results - page 103 / 820 » A Framework for Interactive Proof |
105
click to vote
BCSHCI
2008
14 years 11 months ago
2008
Multimodal interfaces have long held the promise of enhanced and effective human machine interaction. The ultimate goal of multimodal interfaces is to facilitate human activity al...
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
— The question of whether or not parallel repetition reduces the soundness error is a fundamental question in the theory of protocols. While parallel repetition reduces (at an ex...
112
click to vote
CGIM
2003
14 years 11 months ago
2003
This article presents a framework for incorporating commonly used VR (Virtual Reality) databases for graphics and physics simulation into an AI (Artificial Intelligence) knowledg...
ERCIMDL
2009
Springer
15 years 4 months ago
2009
Springer
Paleography experts spend many hours transcribing historic documents, and state-of-the-art handwritten text recognition systems are not suitable for performing this task automatica...
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...