662 search results - page 128 / 133 » Computing the Temporal Structure of Events in Natural Langua... |
102
Voted
COGSR
2011
14 years 7 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
97
Voted
ICDCS
1990
IEEE
15 years 4 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
130
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
118
click to vote
CCS
2011
ACM
14 years 13 days ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
146
Voted
SAS
1992
Springer
15 years 4 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...