1024 search results - page 125 / 205 » Value complete, column complete, predicate complete |
101
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluat...
122
click to vote
DC
2008
15 years 1 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
111
click to vote
FUIN
2008
15 years 1 months ago
2008
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...
123
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
105
click to vote
NDJFL
1998
15 years 1 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...