Sciweavers

437 search results - page 65 / 88
» Models and the locus of their truth
Sort
View
FORMATS
2006
Springer
13 years 11 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
FLAIRS
2006
13 years 9 months ago
Use of Dempster-Shafer Conflict Metric to Adapt Sensor Allocation to Unknown Environments
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...
Jennifer Carlson, Robin R. Murphy
IJRR
2008
242views more  IJRR 2008»
13 years 7 months ago
Bilateral Symmetry Detection for Real-time Robotics Applications
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...
Wai Ho Li, Alan M. Zhang, Lindsay Kleeman
SAGT
2010
Springer
191views Game Theory» more  SAGT 2010»
13 years 6 months ago
Complexity of Safe Strategic Voting
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
Noam Hazon, Edith Elkind
BMVC
2010
13 years 5 months ago
Label propagation in complex video sequences using semi-supervised learning
We propose a novel directed graphical model for label propagation in lengthy and complex video sequences. Given hand-labelled start and end frames of a video sequence, a variation...
Ignas Budvytis, Vijay Badrinarayanan, Roberto Cipo...