1414 search results - page 94 / 283 » Combining Intruder Theories |
105
click to vote
ENTCS
2006
15 years 22 days ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
104
Voted
ISCI
2000
15 years 15 days ago
2000
This paper combines quantum computation with classical neural network theory to produce a quantum computational learning algorithm. Quantum computation uses microscopic quantum lev...
127
Voted
ATAL
2011
Springer
14 years 21 days ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
110
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
100
Voted
DOLAP
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...