1054 search results - page 16 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
153
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
113
click to vote
IFM
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
158
click to vote
PAMI
2008
15 years 3 months ago
2008
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
123
click to vote
ICTAI
1993
IEEE
15 years 7 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
103
click to vote
APIN
2006
15 years 3 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...