Sciweavers

79 search results - page 5 / 16
» Structure and Semantics of Arrow Diagrams
Sort
View
ROOM
2000
13 years 9 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»
13 years 9 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
ECAI
2008
Springer
13 years 9 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»
14 years 24 days 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
ICCS
2004
Springer
14 years 28 days 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