Sciweavers

137 search results - page 10 / 28
» Relations, Objects, and the Composition of Analogies
Sort
View
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
14 years 11 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
PADS
2009
ACM
15 years 8 months ago
An Approach for Validation of Semantic Composability in Simulation Models
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
Claudia Szabo, Yong Meng Teo
118
Voted
LMO
1996
15 years 3 months ago
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
NIPS
2000
15 years 3 months ago
A Productive, Systematic Framework for the Representation of Visual Structure
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
Shimon Edelman, Nathan Intrator
ANLP
1992
86views more  ANLP 1992»
15 years 3 months ago
Generating Spatial Descriptions for Cross-modal References
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...
Peter Wazinski