998 search results - page 133 / 200 » From Feasible Proofs to Feasible Computations |
JAIR
2011
14 years 8 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...
230
click to vote
PVLDB
2011
14 years 8 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...
180
click to vote
HAPTICS
2011
IEEE
2011
IEEE
Toward haptic/aural touchscreen display of graphical mathematics for the education of blind students
14 years 5 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...
101
click to vote
DSN
2011
IEEE
14 years 1 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...
107
Voted
VLSID
2003
IEEE
16 years 2 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...