3729 search results - page 632 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
AAAI
2011
14 years 6 months ago
2011
We have carefully instrumented a large portion of the population living in a university graduate dormitory by giving participants Android smart phones running our sensing software...
167
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
158
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
In this paper, we study the problem of learning in the presence of classification noise in the probabilistic learning model of Valiant and its variants. In order to identify the cl...
177
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
179
click to vote
ASIACRYPT
2009
Springer
16 years 29 days ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...