2042 search results - page 291 / 409 » A Global Grid Model Based on |
169
click to vote
ER
1995
Springer
15 years 4 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
121
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
132
Voted
TMI
2010
14 years 7 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
92
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
128
click to vote
CGF
2004
15 years 17 days ago
2004
A method is proposed for photo-realistic modeling and visualization of a growing tree. Recent visualization methods have focused on producing smoothly blending branching structure...