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...
The aim of this report is to show that, within the limits of what we know how to do efficiently with...
Abstract: This paper offers an analysis of current standardization efforts, including a classificati...
This paper offers an analysis of current standardization efforts, including a classification of thei...
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...
AbstractStructured data are generally composed from constituent parts by constructors and decomposed...
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...
Implementation of formal specifications is very important in formal software development and can be ...
International audienceMany debates in philosophy of mind and cognitive science focus on whether folk...
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...
The emergent mathematical philosophy of categorification is reshaping our view of modern mathematics...
The aim of this report is to show that, within the limits of what we know how to do efficiently with...
Abstract: This paper offers an analysis of current standardization efforts, including a classificati...
This paper offers an analysis of current standardization efforts, including a classification of thei...
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...
AbstractStructured data are generally composed from constituent parts by constructors and decomposed...
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...
Implementation of formal specifications is very important in formal software development and can be ...
International audienceMany debates in philosophy of mind and cognitive science focus on whether folk...
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...
The emergent mathematical philosophy of categorification is reshaping our view of modern mathematics...
The aim of this report is to show that, within the limits of what we know how to do efficiently with...
Abstract: This paper offers an analysis of current standardization efforts, including a classificati...
This paper offers an analysis of current standardization efforts, including a classification of thei...