Sciweavers

3238 search results - page 192 / 648
» Not Enough Points Is Enough
Sort
View
DAGM
2006
Springer
15 years 10 months ago
Cross-Articulation Learning for Robust Detection of Pedestrians
Recognizing categories of articulated objects in real-world scenarios is a challenging problem for today's vision algorithms. Due to the large appearance changes and intra-cla...
Edgar Seemann, Bernt Schiele
DCOSS
2006
Springer
15 years 10 months ago
When Birds Die: Making Population Protocols Fault-Tolerant
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
ECAI
2006
Springer
15 years 10 months ago
Background Default Knowledge and Causality Ascriptions
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
Jean-François Bonnefon, Rui Da Silva Neves,...
ECAI
2006
Springer
15 years 10 months ago
Multi-Objective Propagation in Constraint Programming
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
Emma Rollon, Javier Larrosa
ECBS
2006
IEEE
135views Hardware» more  ECBS 2006»
15 years 10 months ago
Model Checking Procedures for Infinite State Systems
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
Nikola Bogunovi, Edgar Pek