488 search results - page 29 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
79
Voted
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
See a PPT file with videos at www.research.microsoft.com/users/jojic/FlexiblesSprites.htm We propose a technique for automatically learning layers of "flexible sprites" ...
108
click to vote
JUCS
2010
14 years 5 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
DAGSTUHL
2007
15 years 16 days ago
2007
The ways in which an agent’s actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This paper addresses the problem of ...
139
click to vote
IJCV
2008
14 years 11 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
85
Voted
IAT
2008
IEEE
14 years 11 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...