1855 search results - page 120 / 371 » Probabilistic Frame-Based Systems |
115
click to vote
ICB
2009
Springer
15 years 9 months ago
2009
Springer
We propose a scalable face matching algorithm capable of dealing with faces subject to several concurrent and uncontrolled factors, such as variations in pose, expression, illumina...
101
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Consider the task of searching a region for the presence or absence of a target using a team of multiple searchers. This paper formulates this search problem as a sequential pr...
125
click to vote
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
133
click to vote
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
133
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...