1692 search results - page 39 / 339 » Applying Science Models for Search |
IPL
2008
14 years 11 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...
SPIN
2004
Springer
15 years 5 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...
112
click to vote
AMDO
2010
Springer
14 years 10 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...
ERSHOV
2006
Springer
15 years 3 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...
ICIP
2004
IEEE
16 years 1 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...