5336 search results - page 57 / 1068 » Steerable part models |
TACAS
2001
Springer
14 years 8 days ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
JMLR
2010
13 years 2 months ago
2010
With the increasing popularity of largescale probabilistic graphical models, even "lightweight" approximate inference methods are becoming infeasible. Fortunately, often...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
VC
2008
13 years 7 months ago
2008
In the first part of this paper we define a new class of curves, called geodesic B
RIVF
2003
13 years 9 months ago
2003
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...