533 search results - page 96 / 107 » Protocol synthesis from timed and structured specifications |
STOC
2004
ACM
14 years 11 months ago
2004
ACM
We consider several classical models in deterministic inventory theory: the single-item lot-sizing problem, the joint replenishment problem, and the multi-stage assembly problem. ...
DAGSTUHL
2006
14 years 9 days ago
2006
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
KDD
2009
ACM
14 years 11 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...
GROUP
2009
ACM
14 years 5 months ago
2009
ACM
Information transfer under time pressure and stress often leads to information loss. This paper studies the characteristics and problems of information handover from the emergency...
WWW
2003
ACM
14 years 11 months ago
2003
ACM
In this paper we introduce the architecture of a distributed service platform that integrates speech, web technology and voice-overIP technologies and describe how a specific serv...