4949 search results - page 103 / 990 » Consistency and Set Intersection |
140
click to vote
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
102
Voted
MLQ
2006
15 years 4 months ago
2006
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...
159
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
139
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Discovering interesting patterns in event sequences is a popular task in the field of data mining. Most existing methods try to do this based on some measure of cohesion to deter...
134
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
We present the implementation and performance of a ReplicaSet service based on the specification developed in the OGSA Data Replication Services (OREP) Working Group of the Global...