Sciweavers

829 search results - page 98 / 166
» Making Microrobots Move
Sort
View
SIGOPSE
2004
ACM
14 years 1 months ago
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
Michael Hohmuth, Michael Peter, Hermann Härti...
CAISE
2004
Springer
14 years 1 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
IWCM
2004
Springer
14 years 1 months ago
Tracking Complex Objects Using Graphical Object Models
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
Leonid Sigal, Ying Zhu, Dorin Comaniciu, Michael J...
PCM
2004
Springer
171views Multimedia» more  PCM 2004»
14 years 1 months ago
SketchIt: Basketball Video Retrieval Using Ball Motion Similarity
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
Sitaram Bhagavathy, Motaz A. El Saban
PPSN
2004
Springer
14 years 1 months ago
Group Transport of an Object to a Target That Only Some Group Members May Sense
This paper addresses the cooperative transport of a heavy object, called prey, towards a sporadically changing target location by a group of robots. The study is focused on the sit...
Roderich Groß, Marco Dorigo