1753 search results - page 167 / 351 » State Machines |
129
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel pedestrian detection system based on probabilistic component assembly. A part-based model is proposed which uses three parts consisting of head-shoulder, torso a...
121
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
243
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
156
click to vote
DEDS
2002
15 years 4 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
153
click to vote
TVCG
2010
15 years 3 months ago
2010
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...