Sciweavers

79 search results - page 5 / 16
» Structure and Semantics of Arrow Diagrams
Sort
View
ROOM
2000
15 years 3 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
SPIESR
2003
129views Database» more  SPIESR 2003»
15 years 3 months ago
Visual interfaces for a semantic content-based image retrieval system
In an earlier study a Semantic Content Based Image Retrieval system was developed. The system requires a Visual Object Process Diagram - VOPD to be created for each image in the d...
Hagit Zabrodsky Hel-Or, Dov Dori
95
Voted
ECAI
2008
Springer
15 years 3 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski
ADBIS
2003
Springer
194views Database» more  ADBIS 2003»
15 years 7 months ago
Rule-Based Generation of XML DTDs from UML Class Diagrams
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
Thomas Kudrass, Tobias Krumbein
141
Voted
ICCS
2004
Springer
15 years 7 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau