2299 search results - page 331 / 460 » Inference and Learning in Planning |
123
click to vote
MICAI
2000
Springer
15 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
167
click to vote
ASUNAM
2009
IEEE
15 years 2 months ago
2009
IEEE
With hundreds of millions of users already today, virtual worlds will become an important factor in tomorrow's media landscape. In a virtual world, users are represented by s...
175
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Current approaches to pose estimation and tracking can be classified into two categories: generative and discriminative. While generative approaches can accurately determine human...
154
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
We consider object recognition as the process of attaching meaningful labels to specific regions of an image, and propose a model that learns spatial relationships between objects....
154
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—The real world is composed of sets of objects that move and morph in both space and time. Useful concepts can be defined in terms of the complex interactions between the multi-...