3429 search results - page 556 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
206
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
184
click to vote
IJCAI
1997
15 years 7 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
178
click to vote
EMNLP
2010
15 years 4 months ago
2010
Minimum Error Rate Training is the algorithm for log-linear model parameter training most used in state-of-the-art Statistical Machine Translation systems. In its original formula...
201
click to vote
PROPOR
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
155
click to vote
CPAIOR
2009
Springer
16 years 27 days ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...