Thomas Ellman

发表

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.

Explanation-Based Methods for Simplifying Intractable Theories

Thomas Ellman, T. Ellman, 1987 .

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.

Learning to set up numerical optimizations of engineering designs

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

A toolbox and record for scientific models

Thomas Ellman, 1994 .

A toolbox and a record for scientific model development

Thomas Ellman, T. Ellman, 1994 .

Learning to set up numerical optimizations of engineering designs

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1998 .

Knowledge-based re-engineering of legacy programs for robustness in automated design

Thomas Ellman, John Eric Keane, 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.

Learning to Choose a Reformulation for Numerical Optimization of Engineering Designs

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 1996 .

Approximate Theory Formation: An Explanation-Based Approach

Thomas Ellman, T. Ellman, 1988, AAAI.

Specification and Synthesis of Hybrid Automata for Physics-Based Animation

Thomas Ellman, 2003, LOPSTR.

Explanation-based learning in logic circuit design

Thomas Ellman, 1986 .

Representing statistical computations: toward a deeper understanding

Thomas Ellman, 1986 .

Inductive learning for engineering design optimization

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

Abstraction and Decomposition in Hillclimbing Design Optimization

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

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

Takahiro Murata, Thomas Ellman, 2004, Automated Software Engineering.

Introduction to the Special Volume on Reformulation

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

Specification and synthesis of hybrid automata for physics-based animation

Thomas Ellman, 2004, Automated Software Engineering.

Special Issue of the journal Artificial Intelligence on Reformulation

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

Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects

Thomas Ellman, 1993, ICML.

Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction

Thomas Ellman, 2000, SARA.

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..

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

Andrew Gelsey, Mark Schwabacher, Thomas Ellman, 1996 .

2nd Workshop on the state of the art in automated software engineering

Andrea Zisman, Thomas Ellman, 2005, ASE '05.

Inductive learning of feature-tracking rules for scientific visualization

Haym Hirsh, Thomas Ellman, Arunava Banerjee, 1995 .

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.

Multilevel modelling for engineering design optimization

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

Knowledge-based management of legacy codes for automated design

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

Approximation and Abstraction Techniques for Generating Concise Answers to Database Queries

Thomas Ellman, 1995 .

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.

Explanation-based learning: a survey of programs and perspectives

Thomas Ellman, T. Ellman, 1989, CSUR.

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 When Reformulation is Appropriate for Iterative Design

Haym Hirsh, Mark Schwabacher, Thomas Ellman, 2007 .

Abstraction via Approximate Symmetry

Thomas Ellman, T. Ellman, 1993, IJCAI.

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE’2005)

Andrea Zisman, Thomas Ellman, 2007, Automated Software Engineering.

20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA

Andrea Zisman, David F. Redmiles, Thomas Ellman, 2005, ASE.

Mechanical Generation of Heuristics for Intractable Theories

Thomas Ellman, 1988 .

Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design

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

Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

Thomas Ellman, T. Ellman, 1985, IJCAI.