5232 search results - page 169 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
132
click to vote
CADE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
115
click to vote
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
119
click to vote
ISMAR
2009
IEEE
15 years 8 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...
140
Voted
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
Music information retrieval is characterized by a number of various user information needs. Systems are being developed that allow searchers to find melodies, rhythms, genres, an...
135
click to vote
SMI
2003
IEEE
15 years 7 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 ...