Sciweavers

478 search results - page 32 / 96
» Formal Modelling of Cognitive Interpretation
Sort
View
MODELS
2010
Springer
15 years 11 days ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
CAD
2004
Springer
15 years 1 months ago
Design formalism for collaborative assembly design
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
Kyoung-Yun Kim, Yan Wang, Obinna S. Muogboh, Barth...
ICCS
1999
Springer
15 years 6 months ago
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
Guy W. Mineau, Gerd Stumme, Rudolf Wille
JGS
2000
88views more  JGS 2000»
15 years 1 months ago
Part 4 Technology and the future of GIS and spatial analysis
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
Andrew U. Frank
CODES
2002
IEEE
15 years 7 months ago
A language for multiple models of computation
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
Dag Björklund, Johan Lilius