1981 search results - page 34 / 397 » Model-Checking Hierarchical Structures |
SSD
1989
Springer
14 years 23 days ago
1989
Springer
An overview is presented of the use of hierarchical spatial data structures such as the quadtree. They are based on the principle of recursive decomposition. The focus is on the r...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
: In this paper we present several algorithmic techniques for inferring the structure of a company when only a limited amount of information is available. We consider problems with...
COLING
2000
13 years 10 months ago
2000
We compare the potential of two classes of linear and hierarchical models of discourse to determine co-reference links and resolve anaphors. The comparison uses a corpus of thirty...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We investigate the networks of committee and subcommittee assignments in the United States House of Representatives from the 101st
ENTCS
2007
13 years 8 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...