Sciweavers

9730 search results - page 242 / 1946
» Relating models of backtracking
Sort
View
FORMATS
2010
Springer
15 years 2 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 6 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 5 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»
15 years 11 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
15 years 10 months 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