Sciweavers

175 search results - page 30 / 35
» Error limiting reductions between classification tasks
Sort
View
ICRA
2009
IEEE
182views Robotics» more  ICRA 2009»
14 years 3 months ago
Manipulation planning on constraint manifolds
Abstract— We present the Constrained Bi-directional RapidlyExploring Random Tree (CBiRRT) algorithm for planning paths in configuration spaces with multiple constraints. This al...
Dmitry Berenson, Siddhartha S. Srinivasa, Dave Fer...
MHCI
2009
Springer
14 years 3 months ago
A study of direct versus planned 3D camera manipulation on touch-based mobile phones
Mobile interfaces are evolving towards touch-based approaches. This allows users to interact with their thumb directly on the screen. Such kind of direct approaches may be fussy f...
Fabrice Decle, Martin Hachet
JOCN
2010
95views more  JOCN 2010»
13 years 7 months ago
Visual Short-term Memory Capacity for Simple and Complex Objects
■ Does the capacity of visual short-term memory (VSTM) depend on the complexity of the objects represented in memory? Although some previous findings indicated lower capacity fo...
Roy Luria, Paola Sessa, Alex Gotler, Pierre Jolico...
IPPS
2010
IEEE
13 years 5 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
11 years 11 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal