9521 search results - page 504 / 1905 » Compiling with continuations, continued |
186
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
198
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
160
click to vote
ESSMAC
2003
Springer
15 years 11 months ago
2003
Springer
We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model. Text is represent...
141
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...
194
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...