113 search results - page 4 / 23 » On Acting Together |
LPAR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
CARS
2004
13 years 7 months ago
2004
In this paper, we present a new point of view for the conception of what a teleoperated robotic device should be for percutaneous intervention with computed tomography guidance. W...
JMM
2006
13 years 6 months ago
2006
ents a prototype system, called UbiCon system. By abstracting media streams into generic CONTENT entities, the system provides a simple and powerful means for services to operate m...
LREC
2010
13 years 7 months ago
2010
We describe the construction of the CODA corpus, a parallel corpus of monologues and expository dialogues. The dialogue part of the corpus consists of expository, i.e., informatio...
CDC
2010
IEEE
13 years 29 days ago
2010
IEEE
Abstract-- Time-delays typically cause stability and performance problems in teleoperation systems. As a remedy for such problems in position-error based bilateral teleoperations, ...