2032 search results - page 229 / 407 » Encodings of the Sequence Constraint |
222
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
155
click to vote
EWNLG
1993
15 years 10 months ago
1993
In this paper, we discuss the problem of generating natural anaphora in assembly instructional texts. We rst present a detailed account of grammatical and lexical anaphora and we e...
183
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
186
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
172
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...