1981 search results - page 68 / 397 » Model-Checking Hierarchical Structures |
ATC
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
MKM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
Several recent studies demonstrate the potential of using tubular structures such as vessels as a basis for image registration. In this paper, we present a novel technique for the ...
SODA
1998
ACM
13 years 11 months ago
1998
ACM
We develop data structures for dynamic closest pair problems with arbitrary (not necessarily geometric) distance functions, based on a technique previously used by the author for ...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...