5525 search results - page 428 / 1105 » Verification of Model Transformations |
178
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
152
click to vote
ACL
1997
15 years 8 months ago
1997
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
175
click to vote
AAAI
1990
15 years 8 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
179
click to vote
ACL
2008
15 years 8 months ago
2008
This paper describes a syntactic representation for modeling speech repairs. This representation makes use of a right corner transform of syntax trees to produce a tree representa...
158
click to vote
IJCAI
2003
15 years 8 months ago
2003
We propose a novel method for constructing utility models by learning from observed negotiation actions. In particular, we show how offers and counter-offers in negotiation can be...