998 search results - page 133 / 200 » From Feasible Proofs to Feasible Computations |
JAIR
2011
13 years 5 months ago
2011
This paper describes a computationally feasible approximation to the AIXI agent, a universal reinforcement learning agent for arbitrary environments. AIXI is scaled down in two ke...
PVLDB
2011
13 years 5 months ago
2011
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...
HAPTICS
2011
IEEE
2011
IEEE
Toward haptic/aural touchscreen display of graphical mathematics for the education of blind students
13 years 1 months ago
We propose the use of a haptic touchscreen to convey graphical and mathematical concepts through aural and/or vibratory tactile feedback. We hypothesize that an important applicat...
DSN
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Application-level protocols used for object delivery, such as HTTP, are built atop TCP/IP and inherit its hostabstraction. Given that these services are replicated for s...
VLSID
2003
IEEE
14 years 10 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...