13841 search results - page 412 / 2769 » Algorithms and Constraint Programming |
196
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
196
click to vote
CP
1995
Springer
15 years 10 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
171
click to vote
CONSTRAINTS
2010
15 years 7 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
170
click to vote
NCA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents QuoCast, a resource-aware protocol for reliable stream diffusion in unreliable environments, where processes may crash and communication links may lose messa...
195
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Regressions has successfully been incorporated into memetic algorithm (MA) to build surrogate models for the objective or constraint landscape of optimization problems. This helps ...