116 search results - page 14 / 24 » Cooperative Search with Concurrent Interactions |
106
Voted
RISE
2005
Springer
15 years 6 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
91
Voted
COMCOM
2000
15 years 8 days ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
197
Voted
POPL
2005
ACM
16 years 23 days ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
86
Voted
ICCV
2011
IEEE
14 years 14 days ago
2011
IEEE
Aiming at reaching an interactive and simplified usage of high-resolution 3D acquisition systems, this paper presents a fast and automated technique for pre-alignment of dense ra...
100
click to vote
CW
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...