3954 search results - page 130 / 791 » Image-based Model Completion |
139
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
131
click to vote
AI
2001
Springer
15 years 9 months ago
2001
Springer
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
109
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
158
click to vote
UAI
1992
15 years 6 months ago
1992
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximat...
234
click to vote
ENTCS
2006
15 years 5 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...