11017 search results - page 18 / 2204 » Closure Systems and their Structure |
157
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
180
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
192
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
147
click to vote
WWW
2010
ACM
16 years 25 days ago
2010
ACM
Semantic Web data exhibits very skewed frequency distributions among terms. Efficient large-scale distributed reasoning methods should maintain load-balance in the face of such hi...
132
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
In a binary symmetric relationship, A is related to B if and only if B is related to A. Symmetric relationships between k participating entities can be represented as multisets of...