186 search results - page 21 / 38 » Categorical Views on Computations on Trees (Extended Abstrac... |
TLCA
1997
Springer
15 years 3 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
104
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Statistical shape and texture appearance models are powerful image representations, but previously had been restricted to 2D or 3D shapes with smooth surfaces and lambert...
100
click to vote
EDOC
2009
IEEE
15 years 3 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
110
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. This paper addresses the problem of probabilistically modeling 3D human motion for synthesis and tracking. Given the high dimensional nature of human motion, learning an ...
UAI
1993
15 years 1 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...