6554 search results - page 56 / 1311 » Constraint Logic Programming |
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
155
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
169
click to vote
PPDP
2007
Springer
16 years 2 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
165
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
172
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...