Sciweavers

2672 search results - page 250 / 535
» Hybridizing Concept Languages
Sort
View
FDL
2005
IEEE
14 years 3 months ago
Linearly graded behavioural analogue performance models
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
Xianqiang Ren, Tom J. Kazmierski
INAP
2005
Springer
14 years 3 months ago
TURTLE++ - A CIP-Library for C++
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
Petra Hofstedt, Olaf Krzikalla
ICALP
2004
Springer
14 years 3 months ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu
ICFCA
2004
Springer
14 years 3 months ago
Towards a Conceptual Theory of Indistinguishable Objects
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
Karl Erich Wolff
IDEAS
2003
IEEE
120views Database» more  IDEAS 2003»
14 years 3 months ago
A Framework for Customisable Schema Evolution in Object-Oriented Databases
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
Awais Rashid