Sciweavers

9730 search results - page 242 / 1946
» Relating models of backtracking
Sort
View
FORMATS
2010
Springer
15 years 4 months ago
Simulation and Bisimulation for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
Jeremy Sproston, Angelo Troina
ICIP
2004
IEEE
16 years 8 months ago
Deformable structural models
A hierarchical framework for the recognition of complex deformable shapes is developed. In extension to traditional approaches an additional layer of control is introduced to guid...
Klaus D. Tönnies, Stephan Al-Zubi, Steven Ber...
ICIP
2009
IEEE
16 years 7 months ago
Gender Classification In Uncontrolled Settings Using Additive Logistic Models
Many previous studies have investigated gender classification in well-lit frontal images. In this paper we consider images where the pose, expression and lighting are relatively u...
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Acquiring change models for sensor-based robot manipulation
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
Jan Deiterding, Dominik Henrich
ATAL
2005
Springer
16 years 3 days ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud