Sciweavers

4212 search results - page 464 / 843
» Rights Expression Languages
Sort
View
PVLDB
2010
151views more  PVLDB 2010»
15 years 5 months ago
Advanced Processing for Ontological Queries
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
Andrea Calì, Georg Gottlob, Andreas Pieris

Book
290views
17 years 4 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson
ICDE
2007
IEEE
198views Database» more  ICDE 2007»
16 years 8 months ago
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing
Recent work has shown the necessity of considering an attacker's background knowledge when reasoning about privacy in data publishing. However, in practice, the data publishe...
David J. Martin, Daniel Kifer, Ashwin Machanavajjh...
MICCAI
2006
Springer
16 years 7 months ago
Adaptive Script Based Animations for Intervention Planning
We describe scripting facilities to create medical animations for intervention planning based on medical volume data and derived segmentation information. A data independent script...
Konrad Mühler, Ragnar Bade, Bernhard Preim
POPL
2009
ACM
16 years 7 months ago
Flexible types: robust type inference for first-class polymorphism
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
Daan Leijen