5232 search results - page 16 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
BIRTHDAY
2003
Springer
14 years 21 days ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
TNN
1998
13 years 7 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
FATES
2003
Springer
14 years 20 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...