1453 search results - page 147 / 291 » Partial Constraint Satisfaction |
136
click to vote
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we consider two types of inverse sorting problems. The first type is an inverse sorting problem under weighted Hamming distance with bound constraints, wh...
145
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
144
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Constraint satisfaction technology emerged from AI research. Its practical success is based on integration of sophisticated search with consistency techniques reducing the search ...
132
click to vote
WCE
2007
15 years 5 months ago
2007
—Applying nonequilibrium statistical mechanics we focus on nonequilibrium corrections Δs to entropy and energy of the fluid in terms of the nonequilibrium density distribution f...
129
click to vote
ECEASST
2008
15 years 4 months ago
2008
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...