Sciweavers

5377 search results - page 411 / 1076
» Programming Languages For Interactive Computing
Sort
View
CONCUR
2010
Springer
15 years 8 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
COCO
2005
Springer
141views Algorithms» more  COCO 2005»
16 years 1 months ago
Upper Bounds for Quantum Interactive Proofs with Competing Provers
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
Gus Gutoski
PCM
2004
Springer
76views Multimedia» more  PCM 2004»
16 years 28 days ago
Teleconference System with a Shared Working Space and Face Mouse Interaction
This paper presents a new computer-based teleconference system. In order to build the system, we modified VNC(Virtual Network Computing) program and implemented Face mouse system....
Jin Hak Kim, Sang Chul Ahn, Hyoung-Gon Kim
AIHC
2007
Springer
16 years 1 months ago
Affect Detection and an Automated Improvisational AI Actor in E-Drama
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
Li Zhang, Marco Gillies, John A. Barnden, Robert J...
GRAPHITE
2006
ACM
16 years 1 months ago
Interactive landscape visualization using GPU ray casting
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...
Stephan Mantler, Stefan Jeschke