T. Ellman

发表

Integrated analytic and empirical learning of approximations for intractable theories

T. Ellman, 1990 .

Introduction to the Special Volume on Reformulation

Fausto Giunchiglia, Thomas Ellman, Fausto Giunchiglia, 2005, Artif. Intell..

A transformation system for interactive reformulation of design optimization strategies

T. Ellman, J. Keane, Arunava Banerjee, 1998 .

Hillclimbing in a Hierarchy of Abstraction Spaces

T. Ellman, Saibal Patra, 1993 .

Knowledge-based management of legacy codes for automated design

Thomas Ellman, John Eric Keane, T. Ellman, 1996 .

Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

Takahiro Murata, Thomas Ellman, T. Ellman, 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.

Inductive learning for engineering design optimization

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Explanation-Based Methods for Simplifying Intractable Theories

Thomas Ellman, T. Ellman, 1987 .

Multilevel modelling for engineering design optimization

Mark Schwabacher, Thomas Ellman, John Eric Keane, 1997, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design

Mark Schwabacher, Thomas Ellman, John Eric Keane, 1993, AAAI.

Learning to set up numerical optimizations of engineering designs

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

The use of artificial intelligence to improve the numerical optimization of complex engineering designs

Andrew Gelsey, Mark Schwabacher, Thomas Ellman, 1996 .

Approximate Theory Formation: An Explanation-Based Approach

Thomas Ellman, T. Ellman, 1988, AAAI.

Explanation-based learning: a survey of programs and perspectives

Thomas Ellman, T. Ellman, 1989, CSUR.

Specification and synthesis of hybrid automata for physics-based animation

Thomas Ellman, T. Ellman, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

Abstraction via Approximate Symmetry

Thomas Ellman, T. Ellman, 1993, IJCAI.

Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

Thomas Ellman, T. Ellman, 1985, IJCAI.

Learning When Reformulation is Appropriate for Iterative Design

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 2007 .

Learning to Choose a Reformulation for Numerical Optimization of Engineering Designs

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1996 .

A transformation system for interactive reformulation of design optimization strategies

Takahiro Murata, Mark Schwabacher, Thomas Ellman, 1995, Proceedings 1995 10th Knowledge-Based Software Engineering Conference.

Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation

Thomas Ellman, Ryan Deak, Jason Fotinatos, 2003, Automated Software Engineering.

Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation

Thomas Ellman, Ryan Deak, Jason Fotinatos, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

Learning prototype-selection rules for case-based iterative design

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

Abstraction and Decomposition in Hillclimbing Design Optimization

Mark Schwabacher, Thomas Ellman, T. Ellman, 1993 .

A toolbox and a record for scientific model development

Thomas Ellman, T. Ellman, 1994 .