192 search results - page 15 / 39 » Considerations on Updates of Logic Programs |
PADS
1998
ACM
14 years 26 days ago
1998
ACM
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
IADIS
2004
13 years 10 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
ICAISC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. This paper proposes the Sequential Coordinate-Wise Algorithm (SCWA) to Discriminant Nonnegative Matrix Factorization (DNMF) for improving face recognition. DNMF incorpora...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
VLDB
1991
ACM
14 years 4 days ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...