Proper Motions of large-scale Optical Outflows Fiona McGroarty, N.U.I. Maynooth ASGI, Cork 2006.
OWL: A Description Logic Based Ontology Language Ian Horrocks Information Management Group School of Computer Science University of Manchester.
Manager’s Survival Guide to OPeNDAP 2 This is all about sharing data over the internet Dr. Matthew Howard Dept. of Oceanography Texas A&M University 14-January-2003.
Monitoring the dynamic Web to respond to Continuous Queries Sandeep Pandey Krithi Ramamritham Soumen Chakrabarti IIT Bombay
Proof Sketches: Verifiable In-Network Aggregation Minos Garofalakis Yahoo! Research, UC Berkeley, Intel Research Berkeley [email protected], [email protected].
Yet another algorithm for dense max cut - go greedy Claire Mathieu Warren Schudy (presenting) Brown University Computer Science SODA 2008.
Zig-Zag Expanders Seminar in Theory and Algorithmic Research Sashka Davis UCSD, April 2005 “ Entropy Waves, the Zig-Zag Graph Product, and New Constant-
Digital Convergence: The Challenges and Opportunities for BT’s Future in Networked Multimedia Services Li-Qun Xu BT Research and Venturing, Group Chief.
Pragmatic analysis of the Asian Disease problem by Oshri Weiss [email protected] 1 Szklarska Poreba -9 – 2008 By Oshri Weiss The IJN and the Hebrew.
Formal Verification of SpecC Programs using Predicate Abstraction Himanshu Jain Daniel Kroening Edmund Clarke Carnegie Mellon University.
International Test Conference Charlotte, NC, Sep 30-Oct 2, 2003 Defect Tolerance at the End of the Roadmap Mahim Mishra and Seth C. Goldstein Carnegie.
1 Department of Computer Science University of Virginia New Directions in Reliability, Security and Privacy in Radio Frequency Identification Systems Leonid.