7557 search results - page 341 / 1512 » Constraints as a design pattern |
188
click to vote
WLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
179
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
192
click to vote
TKDE
2008
15 years 6 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
165
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we will examine the frequent pattern mining for uncertain data sets. We will show how the broad classes of algorithms can be extended to the uncertain data setting....
301
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...