4081 search results - page 162 / 817 » The Impact of Constraint Programming |
152
Voted
ECML
2005
Springer
15 years 10 months ago
2005
Springer
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
127
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
143
Voted
CSCLP
2004
Springer
15 years 8 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
131
Voted
IJON
2008
15 years 5 months ago
2008
Nonnegative Matrix Factorization (NMF) solves the following problem: find such nonnegative matrices A RI
174
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...