9133 search results - page 1290 / 1827 » Modelling perception using image processing algorithms |
241
click to vote
ENTCS
2006
15 years 7 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
221
click to vote
FGR
2011
IEEE
14 years 11 months ago
2011
IEEE
— Recently, many gait recognition algorithms are proposed, and the optimal camera arrangement is necessary to maximize the performance. In this paper, we propose the optimal came...
238
click to vote
ECAI
2004
Springer
16 years 16 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
188
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
161
click to vote
FMCAD
2004
Springer
16 years 16 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...