Sciweavers

5232 search results - page 8 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
CAV
1993
Springer
127views Hardware» more  CAV 1993»
13 years 11 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
COMPGEOM
1997
ACM
13 years 11 months ago
Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
Hervé Brönnimann, Ioannis Z. Emiris, V...
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
14 years 1 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
SIGGRAPH
1998
ACM
13 years 11 months ago
An Anthropometric Face Model Using Variational Techniques
We describe a system that automatically generates varied geometric models of human faces. A collection of random measurements of the face is generated according to anthropometric ...
Douglas DeCarlo, Dimitris N. Metaxas, Matthew Ston...
KDD
2004
ACM
127views Data Mining» more  KDD 2004»
14 years 7 months ago
A generative probabilistic approach to visualizing sets of symbolic sequences
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
Peter Tiño, Ata Kabán, Yi Sun