29082 search results - page 167 / 5817 » The Time-Triggered Model of Computation |
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
GIS
1999
ACM
14 years 18 days ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
BIOCOMP
2006
13 years 9 months ago
2006
A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...
CVGIP
2006
13 years 8 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
IJON
2006
13 years 8 months ago
2006
The monkey parietal anterior intraparietal area (AIP) is part of the grasp planning and execution circuit which contains neurons that encode object features relevant for grasping,...