Search Publications

Publications

725 entries « 29 of 29 »

1995

Smith, Ian PermLink

Conflict managment in design Conference

Special Issue of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9 , 1995.

BibTeX

Lundell, Monika PermLink

A Qualitative Model of Gradient Flow in a Spatially Distributed Parameter Conference

International Workshop on Qualitative Reasoning about Physical Systems, Amsterdam, The Netherlands, 1995.

Links | BibTeX

Gelle, Esther; Smith, Ian PermLink

Dynamic Constraint Satisfaction with Conflict Management in Design Conference

CP95 Workshop on Over-Constrained Systems, Cassis, France, 1995.

Links | BibTeX

Gelle, Esther; Weigel, Rainer PermLink

Interactive Configuration Based on Incremental Constraint Satisfaction Conference

IFIP TC5/WG 5.2 Workshop Series Knowledge-Intensive CAD, Helsinki, Finland, 1995.

Links | BibTeX

Sam-Haroud, Djamila; Faltings, Boi PermLink

Constraint Consistency Techniques for Continuous Domains Technical Report

Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995.

BibTeX

Liver, Beat PermLink

Computing Glue Device Implementations in ZD Technical Report

Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995.

BibTeX

Liver, Beat PermLink

Formalizing Aspects of Design Patterns Technical Report

Swiss Federal Institute of Technology (EPFL) Lausanne (Switzerland), 1995.

BibTeX

Haroud, Jamila Sam PermLink

Constraint consistency techniques for continuous constraints PhD Thesis

Swiss Federal Institute of Technology (EPFL), 1995.

Links | BibTeX

1994

Faltings, Boi PermLink

Arc-consistency for continuous variables Journal Article

Artificial Intelligence, 65 , 1994.

Links | BibTeX

Gelle, Esther; Faltings, Boi PermLink

Diagnosis of Heating, Ventilation and Air Conditioning Systems Conference

Proc. of SPICIS-94 , B309-314, Singapore, 1994.

Links | BibTeX

Haroud, Djamila; Boulanger, Sylvie; Smith, Ian F C; Gelle, Esther PermLink

Assumptions and conflict resolution in preliminary engineering design Conference

Workshop on Conflict Management in design, AIEDAM'94, 1994.

BibTeX

Haroud, Djamila; Faltings, Boi PermLink

Global Consistency for Continuous Constraints Conference

Proc. of PPCP'94, (874), LNCS Springer Verlag, 1994.

Links | BibTeX

1993

Faltings, Boi; Sun, Kun PermLink

Computer-aided Creative Mechanism Design Conference

Proceedings of the 13th International Joint Conference on Artificial Intelligence, Morgan-Kaufmann, 1993.

Links | BibTeX

Faltings, Boi; Pu, Peal PermLink

Imagery for Open-World Spatial Problems Journal Article

Computational Intelligence, 9 (4), 1993.

Links | BibTeX

Hua, Kefeng; Faltings, Boi PermLink

Exploring Case-Based Building Design-CADRE Journal Article

Artificial Intelligence in Engineering Design, Analysis and Manufacturing (AI EDAM), 1993.

Links | BibTeX

1992

Faltings, Boi PermLink

A Symbolic Approach to Qualitative Kinematics Journal Article

Artificial Intelligence, 56 (2), 1992.

Links | BibTeX

Primus, Jeff; Faltings, Boi PermLink

Domain Modeling for Monitoring Systems Conference

10th European Conference on Artificial Intelligence, Wiley, 1992.

Links | BibTeX

Faltings, Boi; Haroud, Djamila; Smith, Ian F C PermLink

Dynamic Constraint Satisfaction with Continuous Variables Conference

10th European Conference on Artificial Intelligence, Wiley, 1992.

Links | BibTeX

Faltings, Boi PermLink

Mechanical Engineering is more than Differential Equations Journal Article

Computational Intelligence, 8 (2), pp. 319-322, 1992.

Links | BibTeX

Faltings, Boi; Pu, Peal PermLink

Applying Means-Ends Analysis to Spatial Planning Conference

AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992.

Links | BibTeX

Faltings, Boi; Sauthier, Eric PermLink

Model-based Traffic Control Journal Article

International Journal of Artificial Intelligence in Engineering, 7 , 1992.

Links | BibTeX

Faltings, Boi PermLink

Supporting Creativity in Symbolic Computation Conference

Second International Round-Table Conference on Computational Models of Creative Design, 1992.

Links | BibTeX

1991

Faltings, Boi PermLink

Qualitative Models in Conceptual Design: A Case Study Conference

Artificial Intelligence in Design '91, Butterworth-Heinemann, 1991.

Links | BibTeX

Faltings, Boi; Pu, Peal PermLink

Applying Means-Ends Analysis to Spatial Planning Conference

Proceedings of the IEEE/RSJ International Workshop on Intelligent Robots and Systems, IEEE IEEE Press, 1991.

Links | BibTeX

1990

Faltings, Boi PermLink

Qualitative Kinematics in Mechanisms Journal Article

Artificial Intelligence, 44 (1), pp. 89-119, 1990.

Links | BibTeX

725 entries « 29 of 29 »