543 search results - page 27 / 109 » Argumentation Using Temporal Knowledge |
CIDM
2007
IEEE
14 years 2 months ago
2007
IEEE
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...
ISMB
1993
1993
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
13 years 9 months ago
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
FOCS
2002
IEEE
14 years 20 days ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...