Search Publications

Publications

695 entries « 28 of 28 »

1995

Liver, Beat

Computing Glue Device Implementations in ZD Technical Report

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

BibTeX

Liver, Beat

Formalizing Aspects of Design Patterns Technical Report

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

BibTeX

Haroud, Jamila Sam

Constraint consistency techniques for continuous constraints PhD Thesis

Swiss Federal Institute of Technology (EPFL), 1995.

Links | BibTeX

1994

Faltings, Boi

Arc-consistency for continuous variables Journal Article

Artificial Intelligence, 65 , 1994.

Links | BibTeX

Gelle, Esther; Faltings, Boi

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

Assumptions and conflict resolution in preliminary engineering design Conference

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

BibTeX

Haroud, Djamila; Faltings, Boi

Global Consistency for Continuous Constraints Conference

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

Links | BibTeX

1993

Faltings, Boi; Sun, Kun

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

Imagery for Open-World Spatial Problems Journal Article

Computational Intelligence, 9 (4), 1993.

Links | BibTeX

Hua, Kefeng; Faltings, Boi

Exploring Case-Based Building Design-CADRE Journal Article

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

Links | BibTeX

1992

Faltings, Boi

A Symbolic Approach to Qualitative Kinematics Journal Article

Artificial Intelligence, 56 (2), 1992.

Links | BibTeX

Primus, Jeff; Faltings, Boi

Domain Modeling for Monitoring Systems Conference

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

Links | BibTeX

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

Dynamic Constraint Satisfaction with Continuous Variables Conference

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

Links | BibTeX

Faltings, Boi

Mechanical Engineering is more than Differential Equations Journal Article

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

Links | BibTeX

Faltings, Boi; Pu, Peal

Applying Means-Ends Analysis to Spatial Planning Conference

AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992.

Links | BibTeX

Faltings, Boi; Sauthier, Eric

Model-based Traffic Control Journal Article

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

Links | BibTeX

Faltings, Boi

Supporting Creativity in Symbolic Computation Conference

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

Links | BibTeX

1991

Faltings, Boi

Qualitative Models in Conceptual Design: A Case Study Conference

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

Links | BibTeX

Faltings, Boi; Pu, Peal

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

Qualitative Kinematics in Mechanisms Journal Article

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

Links | BibTeX

695 entries « 28 of 28 »