Sciweavers

18716 search results - page 17 / 3744
» Automatic
Sort
View
ISBI
2007
IEEE
14 years 4 months ago
Automatic Segmentation of the Bladder Using Deformable Models
We are interested in the fully automatic delineation of the bladder in CT images in the frame of dose calculation for conformational radiotherapy. To this end we fit a series of ...
María Jimena Costa, Hervé Delingette...
MKM
2007
Springer
14 years 4 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
MODELS
2007
Springer
14 years 4 months ago
Deriving Input Partitions from UML Models for Automatic Test Generation
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
Stephan Weißleder, Bernd-Holger Schlingloff
SYNASC
2006
IEEE
211views Algorithms» more  SYNASC 2006»
14 years 3 months ago
HTML Pattern Generator--Automatic Data Extraction from Web Pages
Existing methods of information extraction from HTML documents include manual approach, supervised learning and automatic techniques. The manual method has high precision and reca...
Mirel Cosulschi, Adrian Giurca, Bogdan Udrescu, Ni...
JCDL
2006
ACM
149views Education» more  JCDL 2006»
14 years 3 months ago
Thesaurus based automatic keyphrase indexing
We propose a new method that enhances automatic keyphrase extraction by using semantic information on terms and phrases gleaned from a domain-specific thesaurus. We evaluate the r...
Olena Medelyan, Ian H. Witten