3564 search results - page 463 / 713 » Evaluating a Formal Modelling Language |
147
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
The contribution of this paper is in demonstrating the impact of AND/OR search spaces view on solutions counting. In contrast to the traditional (OR) search space view, the AND/OR ...
118
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorit...
177
Voted
ACL
2011
14 years 7 months ago
2011
This paper extends the training and tuning regime for phrase-based statistical machine translation to obtain fluent translations into morphologically complex languages (we build ...
140
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a new discriminative model for information retrieval (IR), referred to as linear discriminant model (LDM), which provides a flexible framework to incorporate a...
154
Voted
ECBS
2009
IEEE
15 years 1 months ago
2009
IEEE
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...