7623 search results - page 238 / 1525 » Constructive Volume Modeling |
118
click to vote
ACTA
2007
15 years 4 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 ...
130
Voted
ACS
2004
15 years 3 months ago
2004
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new hom...
113
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
153
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
131
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...