391 search results - page 65 / 79 » Constructive Equivalence Relations on Computable Probability... |
106
click to vote
ACHI
2008
IEEE
15 years 6 months ago
2008
IEEE
Computers have been widely deployed to our daily lives, but human-computer interaction still lacks intuition. Researchers intend to resolve these shortcomings by augmenting tradit...
110
click to vote
JCSS
2008
14 years 11 months ago
2008
Given a Boolean function f, we study two natural generalizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate comp...
101
click to vote
JANCL
2008
14 years 11 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
113
click to vote
DM
2006
14 years 11 months ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
100
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Path modeling for video surveillance is an active area of research. We address the issue of Euclidean path modeling in a single camera for activity monitoring in a multicamera vid...