Sciweavers

TMI
1998
128views more  TMI 1998»
13 years 10 months ago
Fully Automatic Segmentation of the Brain in MRI
— A robust fully automatic method for segmenting the brain from head magnetic resonance (MR) images has been developed, which works even in the presence of radio frequency (RF) i...
M. Stella Atkins, Blair T. Mackiewich
GPEM
2000
126views more  GPEM 2000»
13 years 10 months ago
Automatic Creation of Human-Competitive Programs and Controllers by Means of Genetic Programming
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...
John R. Koza, Martin A. Keane, Jessen Yu, Forrest ...
CORR
2004
Springer
79views Education» more  CORR 2004»
13 years 10 months ago
Summarizing Encyclopedic Term Descriptions on the Web
We are developing an automatic method to compile an encyclopedic corpus from the Web. In our previous work, paragraph-style descriptions for a term are extracted from Web pages an...
Atsushi Fujii, Tetsuya Ishikawa
TMI
2008
84views more  TMI 2008»
13 years 10 months ago
Optimal Wavelet Transform for the Detection of Microaneurysms in Retina Photographs
In this article, we propose an automatic method to detect microaneurysms in retina photographs. Microaneurysms are the most frequent and usually the first lesions to appear as a co...
Gwénolé Quellec, Mathieu Lamard, P. ...
ACL
2003
14 years 8 days ago
Automatic Detection of Grammar Elements that Decrease Readability
This paper proposes an automatic method of detecting grammar elements that decrease readability in a Japanese sentence. The method consists of two components: (1) the check list o...
Masatoshi Tsuchiya, Satoshi Sato
DAC
1996
ACM
14 years 3 months ago
Techniques for Verifying Superscalar Microprocessors
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
Jerry R. Burch
NLDB
2001
Springer
14 years 3 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
CICLING
2003
Springer
14 years 4 months ago
Automatic Sense Disambiguation of the Near-Synonyms in a Dictionary Entry
We present an automatic method to disambiguate the senses of the near-synonyms in the entries of a dictionary of synonyms. We combine different indicators that take advantage of th...
Diana Zaiu Inkpen, Graeme Hirst
IFM
2005
Springer
14 years 4 months ago
Generating Path Conditions for Timed Systems
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
ICPR
2008
IEEE
14 years 5 months ago
Automatic geo-registration of maritime video feeds
We propose an automatic method to geo-register maritime video feeds to satellite images. The method first detects horizon during the day time and apex during the night time for si...
Xiaochun Cao, Zeeshan Rasheed, Haiying Liu, Niels ...