5165 search results - page 604 / 1033 » Consistency of the Neighbor-Net Algorithm |
165
click to vote
APN
2003
Springer
15 years 11 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
189
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
One of the most important tasks for determining association rules consists of calculating all the maximal frequent itemsets. Specifically, some methods to obtain these itemsets hav...
165
click to vote
EMMCVPR
2003
Springer
15 years 11 months ago
2003
Springer
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
156
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
— This paper addresses the problem of simultaneous localization and mapping (SLAM) for teams of collaborating vehicles where the communication bandwidth is limited. We present a ...
141
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...