Sciweavers

3911 search results - page 133 / 783
» Real-Time Object Detection for
Sort
View
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
14 years 2 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
CRV
2007
IEEE
116views Robotics» more  CRV 2007»
14 years 3 months ago
A non-myopic approach to visual search
We show how a greedy approach to visual search — i.e., directly moving to the most likely location of the target — can be suboptimal, if the target object is hard to detect. I...
Julia Vogel, Kevin Murphy
CSCWD
2008
Springer
13 years 10 months ago
Educational technology for collaborative virtual environments
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...
Marcio Cunha, Alberto Barbosa Raposo, Hugo Fuks
FMOODS
2000
13 years 10 months ago
Requirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
Rik Eshuis, Roel Wieringa
MVA
1998
116views Computer Vision» more  MVA 1998»
13 years 10 months ago
Machine Vision for Intelligent Robots
Vision is an ideal sensor modality for intelligent robots. It provides rich information on the environment as required for recognizing objects and understanding situations in real...
Rainer Bischoff 0002, Volker Graefe