1981 search results - page 341 / 397 » Model-Checking Hierarchical Structures |
ISMIS
1997
Springer
14 years 28 days ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
TIME
1994
IEEE
14 years 27 days ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
ALP
1992
Springer
14 years 27 days ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
IEAAIE
1994
Springer
14 years 27 days ago
1994
Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
ICS
1992
Tsinghua U.
14 years 26 days ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...