13383 search results - page 2409 / 2677 » Abstractions from proofs |
165
click to vote
MICCAI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
149
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
151
click to vote
FQAS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
160
click to vote
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
163
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We introduce the notion of nonhomomorphicity as an alternative criterion that forecasts nonlinear characteristics of a Boolean function. Although both nonhomomorphicity a...