Sciweavers

7690 search results - page 34 / 1538
» On the semantics of informational independence
Sort
View
CASCON
2004
108views Education» more  CASCON 2004»
15 years 3 months ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
131
Voted
MPC
1995
Springer
150views Mathematics» more  MPC 1995»
15 years 5 months ago
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
Klaus Achatz, Wolfram Schulte
WWW
2004
ACM
16 years 2 months ago
Semantic information portals
In this paper, we describe the notion of a semantic information portal. This is a community information portal that exploits the semantic web standards to improve structure, exten...
Dave Reynolds, Paul Shabajee, Steve Cayzer
SEMWEB
2007
Springer
15 years 8 months ago
Towards Scalable Information Spaces
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...
Reto Krummenacher, Elena Paslaru Bontas Simperl, D...
AI
1998
Springer
15 years 1 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin