This work is based on the recognition that there will always be a need for different representations of the same entity, albeit a building or building part, a shape or other complex attribute. This exigency ensues, formally, to define the relations between alternative representations, in order to support translation and identify where exact translation is possible, and to define coverage of different representations. We consider an abstraction of representations to model sorts that allows us to define algebraic operations on sorts and recognize algebraic relationships between sorts, providing us with a method for the analysis of representations, and the comparison of their coverage. We present the basis of support for a multi-representation...
As designers pose new questions, within the context of computational design, that go beyond geometry...
This thesis addresses the problem of representing, matching, and generalising descriptions of comple...
This thesis investigates terminological representation languages, as used in \klone -type knowledge ...
This work is based on the recognition that there will always be a need for different representations...
We present a formal approach to representational flexibility, sorts, to support alternative represen...
Supporting data sharing among different disciplines, applications, and users in the building industr...
Algebraic specification frameworks exploit a variety of sort disciplines. The treatment of sorts has...
This work is based on the recognition that there will always be a need for different representations...
This work is based on the recognition that there will always be a need for different representations...
AbstractStructured data are generally composed from constituent parts by constructors and decomposed...
This Article is brought to you for free and open access by the College of Fine Arts at Research Show...
Implementation of formal specifications is very important in formal software development and can be ...
In the present paper a new concept of representability is introduced, which can be applied to not t...
Intelligent systems are faced with the problem of securing a principled (ideally, veridical) relatio...
International audienceMany debates in philosophy of mind and cognitive science focus on whether folk...
As designers pose new questions, within the context of computational design, that go beyond geometry...
This thesis addresses the problem of representing, matching, and generalising descriptions of comple...
This thesis investigates terminological representation languages, as used in \klone -type knowledge ...
This work is based on the recognition that there will always be a need for different representations...
We present a formal approach to representational flexibility, sorts, to support alternative represen...
Supporting data sharing among different disciplines, applications, and users in the building industr...
Algebraic specification frameworks exploit a variety of sort disciplines. The treatment of sorts has...
This work is based on the recognition that there will always be a need for different representations...
This work is based on the recognition that there will always be a need for different representations...
AbstractStructured data are generally composed from constituent parts by constructors and decomposed...
This Article is brought to you for free and open access by the College of Fine Arts at Research Show...
Implementation of formal specifications is very important in formal software development and can be ...
In the present paper a new concept of representability is introduced, which can be applied to not t...
Intelligent systems are faced with the problem of securing a principled (ideally, veridical) relatio...
International audienceMany debates in philosophy of mind and cognitive science focus on whether folk...
As designers pose new questions, within the context of computational design, that go beyond geometry...
This thesis addresses the problem of representing, matching, and generalising descriptions of comple...
This thesis investigates terminological representation languages, as used in \klone -type knowledge ...