3053 search results - page 429 / 611 » Hybrid Systems Diagnosis |
185
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
177
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
For a comprehensive understanding of tomographic image data in medical routine, interactive and high–quality direct volume rendering is an essential prerequisite. This is provid...
177
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
This paper discusses four ways that humans interact with their environments, plus four variables that determine the experience of virtual reality, and also which of the interactio...
162
click to vote
CP
1999
Springer
15 years 11 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
179
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...