317 search results - page 64 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
AAAI
2012
11 years 7 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
MOC
2011
13 years 7 days ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...