1419 search results - page 93 / 284 » Notes on Formalizing Context |
97
Voted
BDA
1998
15 years 2 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...
223
Voted
COSIT
2011
Springer
14 years 15 days ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
110
click to vote
ICFCA
2010
Springer
15 years 5 months ago
2010
Springer
A feature of Formal Concept Analysis is the use of the line diagram of the concept lattice to visualize a conceptual space. The line diagram is a specialized form of Hasse diagram ...
125
click to vote
JLP
2006
15 years 20 days ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
UC
2009
Springer
15 years 7 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...