1845 search results - page 310 / 369 » Automatic Initiation of an Ontology |
154
click to vote
ARITH
2003
IEEE
15 years 9 months ago
2003
IEEE
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
275
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
168
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a deformable model for automatically segmenting objects from volumetric MR images and obtaining point correspondences, using geometric and statistical informati...
143
click to vote
ICAIL
1995
ACM
15 years 9 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
167
click to vote
MPC
1995
Springer
15 years 9 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...