696 search results - page 66 / 140 » Explaining abstract counterexamples |
120
click to vote
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade other...
130
click to vote
DEXA
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
115
click to vote
FPL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Pipeline morphing is a simple but e ective technique for recon guring pipelined FPGA designs at run time. By overlapping computation and recon guration, the latency assoc...
126
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
127
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...