1981 search results - page 345 / 397 » Model-Checking Hierarchical Structures |
SC
1995
ACM
14 years 10 days ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
SMA
1995
ACM
14 years 9 days ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
CEAS
2008
Springer
13 years 10 months ago
2008
Springer
Human interpersonal face-to-face interaction can be considered in terms of successions of speech acts. These are utterances which contain an intention, and the act of creating an ...
DOLAP
2005
ACM
13 years 10 months ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we explore the effectiveness of three clustering methods used to perform word image indexing. The three methods are: the Self-Organazing Map (SOM), the Growing Hiera...