1981 search results - page 341 / 397 » Model-Checking Hierarchical Structures |
146
click to vote
ISMIS
1997
Springer
15 years 6 months 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
15 years 6 months 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...
145
click to vote
ALP
1992
Springer
15 years 6 months 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....
139
click to vote
IEAAIE
1994
Springer
15 years 6 months 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....
167
click to vote
ICS
1992
Tsinghua U.
15 years 6 months 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...