53 search results - page 8 / 11 » CPO semantics of timed interactive actor networks |
133
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
86
Voted
LREC
2010
15 years 2 months ago
2010
Speech recognition technology suffers from a lack of robustness which limits its usability for fully automated speech-to-text transcription, and manual correction is generally req...
83
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
Display characteristics, network Quality of Service, and the user's current task all exhibit a wide range of variation when users interact with mobile and ubiquitous devices....
113
click to vote
ACOM
2006
Springer
15 years 6 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
136
Voted
SDL
2007
15 years 2 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...