1171 search results - page 63 / 235 » Multisource Algorithmic Information Theory |
127
click to vote
UAI
2001
15 years 3 months ago
2001
We present an iterative Markov chain Monte Carlo algorithm for computing reference priors and minimax risk for general parametric families. Our approach uses MCMC techniques based...
146
Voted
WD
2010
15 years 11 days ago
2010
The use of topological features, more specifically, the importance of an element related to its structural position is a subject widely studied. For instance, complex networks theo...
110
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
127
Voted
AI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...
131
click to vote
AGENTCL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...