7289 search results - page 372 / 1458 » A Dependent Set Theory |
203
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
144
Voted
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
Abstract. In this paper wepresent an algorithm for parameterfree informationpreserving surface restoration. The algorithm is designed for 2.5D and 3D surfaces. The basic idea is to...
175
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
149
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
169
click to vote
AMW
2010
15 years 8 months ago
2010
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination in RDF in the presence of rules (in the form of Datalog rules) a...