Sciweavers

1187 search results - page 53 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
ERSHOV
2006
Springer
14 years 1 months ago
A Versioning and Evolution Framework for RDF Knowledge Bases
We present an approach to support the evolution of online, distributed, reusable, and extendable ontologies based on the RDF data model. The approach works on the basis of atomic c...
Sören Auer, Heinrich Herre
SODA
2010
ACM
185views Algorithms» more  SODA 2010»
13 years 8 months ago
Solving MAX-r-SAT Above a Tight Lower Bound
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Sze...
COLCOM
2008
IEEE
13 years 11 months ago
RiBAC: Role Interaction Based Access Control Model for Community Computing
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
Youna Jung, Amirreza Masoumzadeh, James B. D. Josh...
APPROX
2007
Springer
104views Algorithms» more  APPROX 2007»
14 years 4 months ago
Worst-Case to Average-Case Reductions Revisited
Abstract. A fundamental goal of computational complexity (and foundations of cryptography) is to find a polynomial-time samplable distribution (e.g., the uniform distribution) and...
Dan Gutfreund, Amnon Ta-Shma
HPDC
2002
IEEE
14 years 2 months ago
Design and Evaluation of a Resource Selection Framework for Grid Applications
While distributed, heterogeneous collections of computers (“Grids”) can in principle be used as a computing platform, in practice the problems of first discovering and then co...
Chuang Liu, Lingyun Yang, Ian T. Foster, Dave Angu...