10907 search results - page 133 / 2182 » Constraint Based Strategies |
216
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
151
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
145
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
164
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
164
click to vote
AAAI
2007
15 years 8 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...