1581 search results - page 114 / 317 » Mechanizing Inductive Reasoning |
203
click to vote
TARK
2009
Springer
16 years 26 days ago
2009
Springer
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...
189
click to vote
APIN
2004
15 years 6 months ago
2004
Autonomous agents that communicate using probabilistic information and use Bayesian networks for knowledge representation need an update mechanism that goes beyond conditioning on ...
194
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
166
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
193
click to vote
NETWORKING
2007
15 years 7 months ago
2007
We re-examine the two reasons for the conservative 1-second Minimum TCP-RTO to protect against spurious timeouts: i) the OS clock granularity and ii) the Delayed ACKs. We find tha...