7452 search results - page 1345 / 1491 » A Semantics for Multiprocessor Systems |
119
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
162
click to vote
ISNN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
148
Voted
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
162
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
150
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...