7430 search results - page 793 / 1486 » Programming Applications in CIFF |
201
click to vote
CP
2004
Springer
16 years 1 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
196
click to vote
FOIKS
2004
Springer
16 years 1 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
248
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
206
click to vote
LOPSTR
2004
Springer
16 years 29 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
182
click to vote
CEC
2003
IEEE
16 years 27 days ago
2003
IEEE
We introduce a technique that allows a real robot to execute real-time learning, in which GP and RL are integrated. In our former research, we showed the result of an experiment wi...