Sciweavers

9444 search results - page 101 / 1889
» The Language Model LMNtal
Sort
View
POPL
1992
ACM
13 years 11 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
ESOP
2008
Springer
13 years 9 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...
ECMDAFA
2006
Springer
104views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
The Epsilon Object Language (EOL)
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
Dimitrios S. Kolovos, Richard F. Paige, Fiona Pola...
COLING
2000
13 years 9 months ago
A Dynamic Language Model Based on Individual Word Domains
We present a new statistical language model based on a Colnbination of individual word language models. Each word model is built from an individual corpus which is formed by extra...
Elvira I. Sicilia-Garcia, Ji Ming, F. Jack Smith
EMNLP
2010
13 years 5 months ago
Efficient Incremental Decoding for Tree-to-String Translation
Syntax-based translation models should in principle be efficient with polynomially-sized search space, but in practice they are often embarassingly slow, partly due to the cost of...
Liang Huang, Haitao Mi