Sciweavers

1209 search results - page 126 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
EMNLP
2007
15 years 5 months ago
Fast and Robust Multilingual Dependency Parsing with a Generative Latent Variable Model
We use a generative history-based model to predict the most likely derivation of a dependency parse. Our probabilistic model is based on Incremental Sigmoid Belief Networks, a rec...
Ivan Titov, James Henderson
129
Voted
CAV
2004
Springer
77views Hardware» more  CAV 2004»
15 years 9 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
132
Voted
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
15 years 8 months ago
The EyeDB OODBMS
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
Eric Viara, Emmanuel Barillot, Guy Vaysseix
137
Voted
IJCNLP
2004
Springer
15 years 9 months ago
Word Folding: Taking the Snapshot of Words Instead of the Whole
The snapshot of a word means the most informative fragment of the word. By taking the snapshot instead of the whole, the value space of the lexical feature can be significantly r...
Jin-Dong Kim, Jun-ichi Tsujii
ENTCS
2007
108views more  ENTCS 2007»
15 years 3 months ago
Generating Java Compiler Optimizers Using Bidirectional CTL
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
Ling Fang, Masataka Sassa