1716 search results - page 149 / 344 » Generating models for temporal representations |
149
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
128
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
142
click to vote
IJCV
2008
15 years 4 months ago
2008
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
159
click to vote
SMI
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
144
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...