1692 search results - page 39 / 339 » Applying Science Models for Search |
117
click to vote
IPL
2008
15 years 2 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
117
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
147
click to vote
AMDO
2010
Springer
15 years 1 months ago
2010
Springer
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...
124
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
121
click to vote
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
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...