6274 search results - page 929 / 1255 » Proofs, Programs, Processes |
140
click to vote
AGI
2008
15 years 4 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
113
click to vote
AAAI
2010
15 years 4 months ago
2010
This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in repeated games with discounting. The process starts with a s...
BIOCOMP
2008
15 years 4 months ago
2008
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
128
Voted
EDM
2010
15 years 4 months ago
2010
In the past few years, Iranian universities have embarked to use e-learning tools and technologies to extend and improve their educational services. After a few years of conducting...
102
click to vote
CATS
2008
15 years 4 months ago
2008
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...