1114 search results - page 24 / 223 » An Architecture for Peer-to-peer Reasoning |
ECSQARU
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The Hugin and Shenoy–Shafer architectures are two variations on the jointree algorithm, which exhibit different tradeoffs with respect to efficiency and query answeri...
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
103
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
AH
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
CADE
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...