593 search results - page 9 / 119 » Semantics-Preserving Procedure Extraction |
CADE
2010
Springer
14 years 10 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
CADE
1990
Springer
15 years 1 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
BILDMED
2009
14 years 10 months ago
2009
During endovascular aortic repair (EVAR) treatment, the aortic shape is subject to severe deformation that is imposed by medical instruments such as guide wires, catheters, and the...
COLING
2000
14 years 10 months ago
2000
In developing an Infbrmation Extraction tIE) system tbr a new class of events or relations, one of the major tasks is identifying the many ways in which these events or relations ...
VMV
2004
14 years 10 months ago
2004
We present an approach for extracting coherently sampled animated meshes from input sequences of incoherently sampled meshes representing a continuously evolving shape. Our approa...