CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

authors Woodbury, R., Burrow, A., Drogemuller, R. and Datta, S.
year 2000
title Code Checking by Representation Comparison
source CAADRIA 2000 [Proceedings of the Fifth Conference on Computer Aided Architectural Design Research in Asia / ISBN 981-04-2491-4] Singapore 18-19 May 2000, pp. 235-244
summary In current computational building design theory and practice, representation schemes depend upon a set of formal operations for creating, changing and querying a representation. With a few notable exceptions, these operations do not provide ways of comparing representations to determine how representations are alike and how they are different. We have developed a theory for and a formal representation scheme that supports representation comparison. This theory opens new approaches to unsolved problems in computational building design, notably the long-standing issue of automated building code checking.
series CAADRIA
email robert.woodbury@adelaide.edu.au, alburrow@cs.adelaide.edu.au, robin.drogemuller@dbce.csiro.au, sdatta@deakin.edu.au
full text file.pdf (169,661 bytes)
references Content-type: text/plain
details citation check to select
100%; open Ait-Kaci, H. and Nasr, R. (1986) Find in CUMINCAD Login: A logical programming language with built-in inheritance , Journal of Logic Programming, 3:187-215
100%; open Ait-Kaci, H. and Podelski, A. (1993) Find in CUMINCAD Towards a meaning of life , Technical report PRL-RR-11, Digital Paris Research Laboratory, May
100%; open Burrow, A. and Woodbury, R. (1999) Find in CUMINCAD Resolution in design space exploration , Godfried Augenbroe and Charles Eastman, editors, Computers in Building: Proceedings of the CAADFutures'99 Conference, pp 291-308, Kluwer Academic Publishers, Atlanta, Georgia, June 7-8
100%; open Carpenter, B. (1992) Find in CUMINCAD The Logic of Typed Feature Structures with Applications to Unification Grammars , Cambridge Tracts in Theoretical Computer Science. Cambridge University Press
100%; open Carpenter, B. and G. Penn, G. (1997) Find in CUMINCAD The Attribute Logic Engine User's Guide. Computational Linguistics Program , Philosophy Department, Carnegie Mellon University, Pittsburgh, PA USA, 2.0.3 edition, March 1997
100%; open Chang, T.-W. (1999) Find in CUMINCAD Geometric Typed Feature Structures: Towards Design Space Exploration , Ph.D. Thesis, The University of Adelaide (Architecture), October
100%; open Chang, T.-W. and Woodbury, R.F. (1997) Find in CUMINCAD Efficient design spaces of non-manifold solids , J.-H. Hou Yu-Tung Liu, J.-Y. Tsou, editor, CAADRIA 97, volume 2, pp. 335-344, Hsinchu, Taiwan, April 17-19
100%; open Chomsky, N. (1988) Find in CUMINCAD Languages and Problems of Knowledge , Vol. 16 of Current Studies in Linguistics, MIT Press Cambridge, Massachusetts
100%; open Dalheimer, M.K. (1999) Find in CUMINCAD Programming with Qt: Writing Portable GUI applications on UNIX and Win32 , O'Reilly and Associates
100%; open Datta, S. (2000) Find in CUMINCAD Unfolding Design Spaces Interactively , Ph.D. Thesis, The University of Adelaide (Architecture)
100%; open Datta, S., Chang, T.-W. and Woodbury, R.F. (1997) Find in CUMINCAD Describing temple cellas in SEED-Config , J.-H. Hou Yu-Tung Liu, J.-Y. Tsou, editor, CAADRIA 97, volume 2, pages 367-376, Hsinchu, Taiwan, April 17-19
100%; open Fenves, S.J., Garrett, J.H., Kiliccote, H., Law, K.H. and Reed, K.A. (1995) Find in CUMINCAD Computer representation of design standards and building codes: U.s. perspective. , The International Journal of Construction Information Technology, 3(1):13-34
100%; open Flemming, U. and Woodbury, R.F. (1995) Find in CUMINCAD Software Environment to support Early phases in building Design SEED: Overview , ASCE Journal of Architectural Engineering, 1(4):147-152, December
100%; open Hakim, M. and Garrett, J.H. Jr. (1993) Find in CUMINCAD Using description logic for representing engineering design standards , Journal of Engineering with Computers, 9:108-124
100%; open Heisserman, J. and Woodbury, R. (1993) Find in CUMINCAD Generating languages of solid models , Proceedings of Second ACM/IEEE Symposium on Solid Modeling and Applications, pp. 103-112
100%; open Heisserman, J.A. (1994) Find in CUMINCAD Generative Geometric Design , IEEE Computer Graphics and Applications, 14(2):37-45
100%; open Kiliccote, H. (1997) Find in CUMINCAD A Standards Processing Framework , PhD thesis, Department of Civil Engineering, Carnegie Mellon University, USA
100%; open Krishnamurti, R. and Stouffs, R. (1997) Find in CUMINCAD Spatial change: Continuity, reversibility and emergent shapes , Environment and Planning B: Planning and Design, 24:1-25
100%; open Mac Gregor, R.M. (1990) Find in CUMINCAD Loom users manual , Technical report, ISI University of Southern California, La Jolla, California
100%; open Sharpe, R. and Oakes, S. (1995) Find in CUMINCAD Advanced IT processing of Australian standards and regulations , The Intl. Journal of Construction Information Technology, 3(1):73-89

last changed 2000/08/07 07:11
HOMELOGIN (you are user _anon_771480 from group guest) Works Powered by SciX Open Publishing Services 1.002