Sciweavers

4424 search results - page 636 / 885
» Semantic virtual environments
Sort
View
VLDB
2004
ACM
138views Database» more  VLDB 2004»
15 years 12 months ago
Limiting Disclosure in Hippocratic Databases
We present a practical and efficient approach to incorporating privacy policy enforcement into an existing application and database environment, and we explore some of the semanti...
Kristen LeFevre, Rakesh Agrawal, Vuk Ercegovac, Ra...
WSKS
2009
Springer
15 years 11 months ago
Towards a Mediator Based on OWL and SPARQL
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...
Konstantinos Makris, Nikos Bikakis, Nektarios Giol...
DL
1998
Springer
120views Digital Library» more  DL 1998»
15 years 10 months ago
Conjunctive Constraint Mapping for Data Translation
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
ROBOCUP
1998
Springer
128views Robotics» more  ROBOCUP 1998»
15 years 10 months ago
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
Yu Zhang, Alan K. Mackworth
ICALP
1997
Springer
15 years 10 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen