Sciweavers

857 search results - page 109 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
13 years 5 months ago
Active multi-view object search on a humanoid head
Visual search is a common daily human activity and a prerequisite to the interaction with objects encountered in cluttered environments. Humanoid robots that are supposed to take p...
Kai Welke, Tamim Asfour, Rüdiger Dillmann
PERVASIVE
2011
Springer
12 years 10 months ago
Planning, Apps, and the High-End Smartphone: Exploring the Landscape of Modern Cross-Device Reaccess
The rapid growth of mobile devices has made it challenging for users to maintain a consistent digital history among all their personal devices. Even with a variety of cloud computi...
Elizabeth Bales, Timothy Sohn, Vidya Setlur
IUI
2012
ACM
12 years 3 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
IANDC
2007
152views more  IANDC 2007»
13 years 7 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
AI
2007
Springer
13 years 7 months ago
On the merging of Dung's argumentation systems
In this paper, the problem of deriving sensible information from a collection of argumentation systems coming from different agents is addressed. The underlying argumentation the...
Sylvie Coste-Marquis, Caroline Devred, Séba...