2858 search results - page 528 / 572 » Logics with Aggregate Operators |
152
click to vote
CPAIOR
2009
Springer
16 years 17 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
138
click to vote
DATE
2008
IEEE
16 years 13 days ago
2008
IEEE
∗ Diagnosis is becoming a major concern with the rapid development of semiconductor memories. It provides information about the location of manufacturing defects in the memory, a...
182
click to vote
ACRI
2008
Springer
16 years 10 days ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
167
click to vote
OOPSLA
2007
Springer
16 years 3 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
158
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...