14190 search results - page 2479 / 2838 » Abstractions for hybrid systems |
193
click to vote
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
225
click to vote
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
202
click to vote
ICCV
1998
IEEE
15 years 12 months ago
1998
IEEE
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
206
click to vote
LOPSTR
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
230
click to vote
MICCAI
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Stereotactic techniques are prevalent in neurosurgery. A fundamental assumption of stereotaxis is that the brain is a rigid body. It has been demonstrated, however, that ...