1133 search results - page 87 / 227 » Local Logics for Traces |
112
Voted
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
113
click to vote
DBISP2P
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
107
click to vote
ICDCS
1998
IEEE
15 years 5 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
103
Voted
TABLEAUX
1995
Springer
15 years 4 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
120
click to vote
CI
2006
15 years 26 days ago
2006
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...