Sciweavers

1864 search results - page 1 / 373
» Formal topology and domains
Sort
View
ENTCS
2000
66views more  ENTCS 2000»
13 years 3 months ago
Formal topology and domains
Giovanni Sambin
ISIM
2007
13 years 5 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
EKAW
2006
Springer
13 years 5 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
SMA
1997
ACM
152views Solid Modeling» more  SMA 1997»
13 years 7 months ago
Structured Topological Complexes: A Feature-Based API for Non-Manifold Topologies
Much of recent research in representation schemes for solid modeling was focused on the extension of boundary representations to support non-manifold topologies. We introduce here...
Jarek Rossignac
FUIN
2006
103views more  FUIN 2006»
13 years 3 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...