Sciweavers

18716 search results - page 4 / 3744
» Automatic
Sort
View
CSJM
2006
66views more  CSJM 2006»
15 years 3 months ago
The ascertainment of the inflexion models for Romanian
A method to increase the degree of inflexion process automatization for Romanian is proposed.
Svetlana Cojocaru
LICS
2008
IEEE
15 years 9 months ago
From Automatic Structures to Borel Structures
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalb...
LREC
2010
148views Education» more  LREC 2010»
15 years 4 months ago
Mining the Correlation between Human and Automatic Evaluation at Sentence Level
Automatic evaluation metrics are fast and cost-effective measurements of the quality of a Machine Translation (MT) system. However, as humans are the end-user of MT output, human ...
Yanli Sun
101
Voted
DAC
2004
ACM
16 years 4 months ago
Automatic abstraction and verification of verilog models
Zaher S. Andraus, Karem A. Sakallah