5232 search results - page 128 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
123
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...
103
click to vote
APAL
2010
15 years 1 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
134
click to vote
3DGIS
2006
Springer
15 years 7 months ago
2006
Springer
Within the paper, a novel approach for the reconstruction of geometric details of building façades is presented. It is based on 3D point clouds from terrestrial laser scanning. B...
118
click to vote
SPLC
2004
15 years 3 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
104
Voted
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...