Sciweavers

775 search results - page 137 / 155
» Consistency and Performance of Concurrent Interactive Databa...
Sort
View
ICCV
2003
IEEE
15 years 11 months ago
Maintaining Multi-Modality through Mixture Tracking
In recent years particle filters have become a tremendously popular tool to perform tracking for non-linear and/or non-Gaussian models. This is due to their simplicity, generality...
Arnaud Doucet, Jaco Vermaak, Patrick Pérez
POPL
2009
ACM
15 years 10 months ago
Automated verification of practical garbage collectors
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
Chris Hawblitzel, Erez Petrank
78
Voted
IROS
2008
IEEE
203views Robotics» more  IROS 2008»
15 years 4 months ago
Learning equivalent action choices from demonstration
Abstract— In their interactions with the world robots inevitably face equivalent action choices, situations in which multiple actions are equivalently applicable. In this paper, ...
Sonia Chernova, Manuela M. Veloso
ICAT
2007
IEEE
15 years 4 months ago
Exploiting Virtual Objects' Attributes and Avatar's Behavior in DVEs Partitioning
Partitioning constitutes one of the most critical challenges a distributed virtual environment needs to handle and is related to the efficient assignment of the existing entities ...
Christos Bouras, Eri Giannaka, Thrasyvoulos Tsiats...
IESS
2007
Springer
116views Hardware» more  IESS 2007»
15 years 3 months ago
Utilizing Reconfigurable Hardware to Optimize Workflows in Networked Nodes
This work investigates the use of reconfigurable devices as computing platform for self-organizing embedded systems. Those usually consist of a set of distributed, autonomous node...
Dominik Murr, Felix Mühlbauer, Falko Dressler...