4426 search results - page 667 / 886 » Concurrent Constraint Programming |
172
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
156
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
We use a lexicographical preference order on the problem space to combine solution synthesis with conflict learning. Given two preferred solutions of two subproblems, we can either...
119
click to vote
EMNLP
2008
15 years 7 months ago
2008
We introduce a method for solving substitution ciphers using low-order letter n-gram models. This method enforces global constraints using integer programming, and it guarantees t...
159
click to vote
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
166
click to vote
IJCAI
2001
15 years 7 months ago
2001
This paper describes a method for structuring a robot motor learning task. By designing a suitably parameterized policy, we show that a simple search algorithm, along with biologi...