7623 search results - page 865 / 1525 » Constructive Volume Modeling |
193
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
163
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
In this study, a virtual reality vitrectomy simulator is being developed to assist Ophthalmolgy residents in correcting retinal detachments. To simulate this type of surgery, a thr...
158
click to vote
AIME
1997
Springer
15 years 11 months ago
1997
Springer
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
199
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
131
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...