Sciweavers

1827 search results - page 65 / 366
» Automatic thesaurus construction
Sort
View
CAV
2000
Springer
197views Hardware» more  CAV 2000»
14 years 3 months ago
Bounded Model Construction for Monadic Second-Order Logics
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Abdelwaheb Ayari, David A. Basin
LREC
2010
175views Education» more  LREC 2010»
13 years 9 months ago
Creating a Reusable English-Chinese Parallel Corpus for Bilingual Dictionary Construction
This paper first describes an experiment to construct an English-Chinese parallel corpus, then applying the Uplug word alignment tool on the corpus and finally produce and evaluat...
Hercules Dalianis, Hao-chun Xing, Xin Zhang
CVPR
2007
IEEE
15 years 1 months ago
On Constructing Facial Similarity Maps
Automatically determining facial similarity is a difficult and open question in computer vision. The problem is complicated both because it is unclear what facial features humans ...
Alex Holub, Yun-hsueh Liu, Pietro Perona
ICDE
2006
IEEE
198views Database» more  ICDE 2006»
15 years 15 days ago
Automating the Design and Construction of Query Forms
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
Magesh Jayapandian, H. V. Jagadish
ICDM
2005
IEEE
122views Data Mining» more  ICDM 2005»
14 years 4 months ago
ViVo: Visual Vocabulary Construction for Mining Biomedical Images
Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large col...
Arnab Bhattacharya, Vebjorn Ljosa, Jia-Yu Pan, Mar...