13383 search results - page 2409 / 2677 » Abstractions from proofs |
127
Voted
MICCAI
1999
Springer
15 years 8 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...
121
Voted
ECAI
1998
Springer
15 years 8 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...
121
Voted
FQAS
1998
Springer
15 years 8 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...
128
Voted
ICDAR
1997
IEEE
15 years 8 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...
133
Voted
SACRYPT
1998
Springer
15 years 7 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...