Searching for authors named Ian Underwood – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
by Steven Minton, Ian Underwood — 1994
… and Ian Underwood Recom Technologies NASA Ames Research Center Mail Stop 269-2 Moffett Field, CA 94035…
Cited by 9 (6 self) – Add To MetaCart

The Logic of Search Algorithms: Theory and Applications
by Ian P. Gent, Judith L. Underwood — 1997 — In Principles and Practice of Constraint Programming { CP97
…The Logic of Search Algorithms: Theory and Applications ? Ian P. Gent 1 and Judith L. Underwood…
Cited by 5 (3 self) – Add To MetaCart

"A review of microdisplay technologies"
by Ian Underwood The, Held At, Ian Underwood, Ian Underwood — 2000
…“A review of microdisplay technologies” Ian Underwood The University of Edinburgh A keynote paper…
Add To MetaCart

AMPHION: Automatic programming for scientific subroutine libraries
by Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood — 1994 — Intl. Symp. on Methodologies for Intelligent Systems
…, Thomas Pressburger, and Ian Underwood AI Research Branch, NASA Ames Recom Technologies, M.S. 269…
Cited by 19 (2 self) – Add To MetaCart

Deductive Composition of Astronomical Software from Subroutine Libraries
by Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood — In Proceedings 12th International Conference on Automated Deduction
… Pressburger, and Ian Underwood ++ Artificial Intelligence Research Branch Recom Technologies NASA Ames…
Cited by 56 (4 self) – Add To MetaCart

Search Algorithms in Type Theory
by James L. Caldwell, Ian P. Gent, Judith Underwood — 1998
…Search Algorithms in Type Theory James L. Caldwell y Ian P. Gent z Judith Underwood x…
Cited by 7 (2 self) – Add To MetaCart

www.elsevier.com/locate/tcs Search algorithms in type theory �
by James L. Caldwella, Ian P. Gentb C, Judith Underwood
… in type theory � James L. Caldwella; 1 , Ian P. Gentb; ∗ c; 2 , Judith Underwood a Department of Computer…
Add To MetaCart

Guidelines for Implementation of Model Quality Reports
by Mats Bergdahl, Ole Black, Russell Bowater, Susan Full, David Holmes, Pär Lundqvist, Mark Pont, Mike Prestwood, Ian Richardson, Chris Skinner, Paul Smith, Ceri Underwood, Mark Williams, Pam Davies, Paul Smith
… Holmes, Pär Lundqvist, Sixten Lundström, Lennart Nordberg, John Perry, Mark Pont, Mike Prestwood, Ian…
Add To MetaCart

Volume I Theory and Methods for Quality Evaluation Preface
by Mats Bergdahl, Ole Black, Russell Bowater, Susan Full, David Holmes, Pär Lundqvist, Mark Pont, Mike Prestwood, Ian Richardson, Chris Skinner, Paul Smith, Ceri Underwood, Mark Williams, Pam Davies, Paul Smith, Tim Jones, Anita Ullberg, Jeff Evans, Trevor Fenton, Jonathan Gough, Dan Hedlin
…, Lennart Nordberg, John Perry, Mark Pont, Mike Prestwood, Ian Richardson, Chris Skinner, Paul Smith, Ceri…
Add To MetaCart

Model Quality Report in Business Statistics
by Mats Bergdahl, Ole Black, Russell Bowater, Ray Chambers, Susan Full, David Draper, Eva Elvers, David Holmes, Pär Lundqvist, Mark Pont, Sixten Lundström, Lennart Nordberg, John Perry, Mike Prestwood, Ian Richardson, Chris Skinner, Ceri Underwood, Mark Williams, Pam Davies, Paul Smith, Paul Smith, Tim Jones, Anita Ullberg, Jeff Evans, Trevor Fenton, Jonathan Gough, Dan Hedlin
…, Lennart Nordberg, John Perry, Mark Pont, Mike Prestwood, Ian Richardson, Chris Skinner, Paul Smith, Ceri…
Add To MetaCart

Showing 1 through 10.

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