17366 search results - page 41 / 3474 » New Revision Algorithms |
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
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...
JELIA
2000
Springer
14 years 1 months ago
2000
Springer
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 ...
CW
2003
IEEE
14 years 3 months ago
2003
IEEE
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...
AIPS
2010
14 years 3 days ago
2010
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...
DAGSTUHL
2006
13 years 11 months ago
2006
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...