MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Peter Madden – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

The Specialization and Transformation of Constructive Existence Proofs
by Peter Madden — 1989 — PROCEEDINGS OF THE ELEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTI INTELLIGENCE
…The Specialization and Transformation of Constructive Existence Proofs Peter Madden Department…
Cited by 3 (1 self) – Add To MetaCart

The Specialization of Constructive Existence Proofs
by Peter Madden — 1993
…The Specialization of Constructive Existence Proofs Peter Madden October 22, 1993 Abstract…
Add To MetaCart

A summary for the application to the 1988 Alvey
by Conference Peter Madden, Peter Madden
… for the application to the 1988 Alvey Conference. Peter Madden August 13, 1992 We investigate program optimization…
Add To MetaCart

Recursive Program Optimization Through Inductive Synthesis Proof Transformation
by Peter Madden, Alan Bundy, Alan Smaill — 1999
…Recursive Program Optimization Through Inductive Synthesis Proof Transformation Peter Madden Max…
Add To MetaCart

Diagnosis Using Fault Trees Induced from Simulated Incipient Fault Case Data
by Paul J Nolan, Michael G Madden, Peter Muldoon — 1994
… of an armature-controlled d.c. servomechanism are described in Madden and Nolan (8). In this paper, comprehensive…
Cited by 2 (2 self) – Add To MetaCart

Eastman Kodak Company
by Peter D. Burns, Thomas E. Madden, Edward J. Giorgianni, Don Williams
… Peter D. Burns, Thomas E. Madden, Edward J. Giorgianni, and Don Williams Eastman Kodak Company Abstract…
Add To MetaCart

Retaining Color Fidelity in Photo CD Image Migration
by Thomas E. Madden, Peter D. Burns, Eastman Kodak Company
…Retaining Color Fidelity in Photo CD Image Migration Thomas E. Madden and Peter D. Burns, Eastman…
Add To MetaCart

Distributed regression: an efficient framework for modeling sensor network data
by Carlos Guestrin, Peter Bodik, Romain Thibaux, Mark Paskin, Samuel Madden — 2004 — In IPSN
… † Peter Bodik ‡ Romain Thibaux ‡ Mark Paskin ‡ Samuel Madden † † Intel Research - Berkeley Lab ‡ Computer…
Cited by 61 (8 self) – Add To MetaCart

Copyright 2004, Intel Corporation, All rights reserved.
by Distributed Regression An, Carlos Guestrin, Carlos Guestrin, Peter Bodik, Peter Bodik, Romain Thibaux, Romain Thibaux, Mark Paskin, Mark Paskin, Samuel Madden, Samuel Madden — 2004 — In IPSN
…, Peter Bodik, Romain Thibaux, Mark Paskin and Samuel Madden IRB-TR-04-007 June, 2004 DISCLAIMER…
Add To MetaCart

Distributed Regression: an Efficient Framework
by For Modeling Sensor, Carlos Guestrin, Peter Bodik, Romain Thibaux, Mark Paskin, Samuel Madden — 2004 — In IPSN
… † Peter Bodik ‡ Romain Thibaux ‡ Mark Paskin ‡ Samuel Madden † † Intel Research - Berkeley Lab ‡ Computer…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB