| Catalog Number |
Abstract (PDF) |
Paper (PDF) |
Title |
Author(s) |
| DCS-tr-624 | [abstract] | [report] | Fixed Points And Invariants | M.C. Paull |
| DCS-tr-625 | [abstract] | [report] | Extending The Benefits Of Tail Recursion | M.C.Paull |
| DCS-tr-626 | [abstract] | [report] | RoadSpeak: Enabling Voice Chat on Roadways using Vehicular Social Networks | Stephen Smaldone, Lu Han, Pravin Shankar, and Liviu Iftode |
| DCS-tr-627 | [abstract] | [report] | Efficient Multi-Dimensional Query Processing in Personal Information Management Systems | Wei Wang, Christopher Peery, Amélie Marian, and Thu D. Nguyen |
| DCS-tr-628 | [abstract] | [report] | Enforcing Authorization Policies using Transactional Memory Introspection | Arnar Birgisson, Mohan Dhawan, Ulfar Erlingsson, Vinod Ganapathy, and Liviu Iftode |
| DCS-tr-630 | [abstract] | [report] | Kernel Methods and Algorithms for General Sequence Analysis | Pavel P. Kuksa, Pai-Hsi Huang, Vladimir Pavlovic |
| DCS-tr-631 | [abstract] | [report] | Prioritized Sweeping Converges to the Optimal Value Function | Lihong Li and Michael L. Littman |
| DCS-tr-632 | [abstract] | [report] | Efficient Learning of Action Schemas and Web-Service Descriptions | Thomas J. Walsh and Michael L. Littman |