Sciweavers

2338 search results - page 17 / 468
» Separation in Theory - Coordination in Practice
Sort
View
JAIR
2012
254views Hardware» more  JAIR 2012»
11 years 11 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
ISAAC
2007
Springer
77views Algorithms» more  ISAAC 2007»
14 years 3 months ago
On the Relative Dominance of Paging Algorithms
In this paper we give a finer separation of several known paging algorithms. This is accomplished using a new technique that we call relative interval analysis. This technique com...
Reza Dorrigiv, Alejandro López-Ortiz, J. Ia...
ICDE
2008
IEEE
124views Database» more  ICDE 2008»
14 years 10 months ago
Privacy: Theory meets Practice on the Map
In this paper, we propose the first formal privacy analysis of a data anonymization process known as the synthetic data generation, a technique becoming popular in the statistics c...
Ashwin Machanavajjhala, Daniel Kifer, John M. Abow...
RECOMB
2004
Springer
14 years 9 months ago
Reconstructing reticulate evolution in species: theory and practice
We present new methods for reconstructing reticulate evolution of species due to events such as horizontal transfer or hybrid speciation; both methods are based upon extensions of...
Luay Nakhleh, Tandy Warnow, C. Randal Linder