Sciweavers

1263 search results - page 185 / 253
» Kernel methods for learning languages
Sort
View
CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 8 months ago
Unsupervised Learning of Morphology without Morphemes
The first morphological learner based upon the theory of Whole Word Morphology (Ford et al., 1997) is outlined, and preliminary evaluation results are presented. The program, Whol...
Sylvain Neuvel, Sean A. Fulop
POPL
2000
ACM
14 years 1 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
ECCV
2008
Springer
14 years 10 months ago
Learning Visual Shape Lexicon for Document Image Content Recognition
Developing effective content recognition methods for diverse imagery continues to challenge computer vision researchers. We present a new approach for document image content catego...
Guangyu Zhu, Xiaodong Yu, Yi Li, David S. Doermann
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 27 days ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
ACL
2006
13 years 10 months ago
Learning to Generate Naturalistic Utterances Using Reviews in Spoken Dialogue Systems
Spoken language generation for dialogue systems requires a dictionary of mappings between semantic representations of concepts the system wants to express and realizations of thos...
Ryuichiro Higashinaka, Rashmi Prasad, Marilyn A. W...