11436 search results - page 312 / 2288 » Modeling Real Reasoning |
127
click to vote
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
176
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
133
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
144
click to vote
MVA
2000
15 years 5 months ago
2000
Taking into account these various remarks, our method is composed of four modules: In this article, we describe a new method deA recognition phase allows to accurately detersigned ...
132
click to vote
CGF
2006
15 years 4 months ago
2006
WPSD (Weighted Pose Space Deformation) is an example based skinning method for articulated body animation. The per-vertex computation required in WPSD can be parallelized in a SIM...