Search Publications

Publications

706 entries « 28 of 29 »

1995

Faltings, Boi

Topology-Based Spatial Reasoning Conference

KI-95, Gesellschaft f’r Informatik 1995.

BibTeX

Faltings, Boi

Qualitative Spatial Reasoning Using Algebraic Topology Conference

Spatial Information Theory, Lecture Notes in Computer Science 988, Springer-Verlag, 1995.

Links | BibTeX

Smith, Ian

Resolving Conflicts as Knowledge Evolves Conference

Product and Process Modelling in the Building Industry, Balkema, Rotterdam (The Netherlands), 1995.

BibTeX

Sam-Haroud, Djamila; Boulanger, Sylvie; Gelle, Esther; Smtih, Ian

Management of conflict for preliminary engineering design tasks Journal Article

Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9 , pp. 313–323, 1995.

BibTeX

Smith, Ian; Kurmann, David; Schmitt, Gerhard

Case combination and adaptation of buildings spaces Journal Article

Computing in Civil Engineering, ASCE, pp. 155–162, 1995.

BibTeX

Boulanger, Sylvie; Gelle, Esther; Smtih, Ian

Taking Advantage of design process models Conference

IABSE Report 72, International Association for Bridge and Structural Engineering 1995.

BibTeX

Smith, Ian

Conflict managment in design Conference

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

BibTeX

Lundell, Monika

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

Dynamic Constraint Satisfaction with Conflict Management in Design Conference

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

Links | BibTeX

Gelle, Esther; Weigel, Rainer

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

Constraint Consistency Techniques for Continuous Domains Technical Report

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

BibTeX

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

706 entries « 28 of 29 »