3342 search results - page 592 / 669 » Automating Abstract Interpretation |
106
click to vote
FM
1999
Springer
15 years 4 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
132
Voted
HIPC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
117
click to vote
MICCAI
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper presents an extended version of the fully automated 3D cerebral vessel reconstruction algorithm developed by Wilson and Noble [11] which is applicable to time-...
120
Voted
SAFECOMP
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
115
click to vote
ER
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...