Sciweavers

17366 search results - page 41 / 3474
» New Revision Algorithms
Sort
View
114
Voted
LICS
2006
IEEE
15 years 8 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
111
Voted
JELIA
2000
Springer
15 years 6 months ago
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
Ofer Arieli
133
Voted
CW
2003
IEEE
15 years 8 months ago
Virtual Spaces as Artifacts: Implications for the Design of Educational CVEs
Space is important for learning and socializing. Cyberworlds provide a new space for socialization and communication with a great degree of flexibility, allowing users to create a...
Ekaterina Prasolova-Førland
AIPS
2010
15 years 5 months ago
Temporal Planning with Problems Requiring Concurrency through Action Graphs and Local Search
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
98
Voted
DAGSTUHL
2006
15 years 4 months ago
XPathMark: Functional and Performance Tests for XPath
We present a major revision of the XPath benchmark known as XPathMark [1]. The new version splits into a functional test over a small educational document and a more elaborated per...
Massimo Franceschet