5232 search results - page 20 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
ACTA
2007
13 years 7 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
RTSS
1993
IEEE
13 years 11 months ago
1993
IEEE
CASC
2006
Springer
13 years 11 months ago
2006
Springer
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find ana...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...