Sciweavers

3758 search results - page 189 / 752
» A Complete Subsumption Algorithm
Sort
View
HOTOS
2003
IEEE
15 years 3 months ago
One Hop Lookups for Peer-to-Peer Overlays
Current peer-to-peer lookup algorithms have been designed with the assumption that routing information at each member node must be kept small, so that the bookkeeping required to ...
Anjali Gupta, Barbara Liskov, Rodrigo Rodrigues
81
Voted
CP
2003
Springer
15 years 3 months ago
Distributed Forward Checking
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
Ismel Brito, Pedro Meseguer
ECRTS
2002
IEEE
15 years 3 months ago
Robustness results concerning EDF scheduling upon uniform multiprocessors
—Each processor in a uniform multiprocessor machine is characterized by a speed or computing capacity, with the interpretation that a job executing on a processor with speed s fo...
Sanjoy K. Baruah
91
Voted
COCO
2008
Springer
91views Algorithms» more  COCO 2008»
15 years 2 hour ago
Amplifying ZPP^SAT[1] and the Two Queries Problem
This paper shows a complete upward collapse in the Polynomial Hierarchy (PH) if for ZPP, two queries to a SAT oracle is equivalent to one query. That is, ZPPSAT[1] = ZPPSAT [2] = ...
Richard Chang, Suresh Purini
84
Voted
IJCAI
2007
14 years 11 months ago
Semantic Precision and Recall for Ontology Alignment Evaluation
In order to evaluate ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results with some reference. The most prominent comparis...
Jérôme Euzenat