6456 search results - page 281 / 1292 » Constraint Solving on Terms |
182
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
158
click to vote
CP
2005
Springer
16 years 5 days ago
2005
Springer
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...
175
click to vote
CPAIOR
2005
Springer
16 years 5 days ago
2005
Springer
The scheduling of social golfers has attracted significant attention in recent years because of its highly symmetrical and combinatorial nature. In particular, it has become one o...
187
click to vote
GECCO
2004
Springer
16 years 10 hour ago
2004
Springer
In financial engineering the problem of portfolio selection has drawn much attention in the last decades. But still unsolved problems remain, while on the one hand the type of mod...
147
click to vote
AAAI
2004
15 years 8 months ago
2004
We describe the problem of scheduling the television broadcasts of the U.S. National Football League (NFL). Unlike traditional round-robin tournament scheduling, the NFL problem i...