1670 search results - page 244 / 334 » On Skolemization in constructive theories |
170
click to vote
ISBI
2006
IEEE
16 years 12 days ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
173
click to vote
PRDC
2006
IEEE
16 years 12 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
196
click to vote
SMI
2006
IEEE
16 years 12 days ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
172
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
158
click to vote
IUI
2006
ACM
16 years 11 days ago
2006
ACM
The paper presents a novel approach to the peripheral display of information by applying audio effects to an arbitrary selection of music. We examine a specific instance: the comm...