3656 search results - page 298 / 732 » Compact Location Problems |
228
click to vote
SPIN
2004
Springer
16 years 23 hour ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
141
click to vote
SWAT
2004
Springer
16 years 22 hour ago
2004
Springer
In this paper we introduce a new notion of collective tree spanners. We say that a graph G = (V, E) admits a system of µ collective additive tree r-spanners if there is a system T...
172
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a navigation framework which enables multiple mobile robots to attain individual goals, coordinate their actions and work safely and reliably in a highly dynam...
212
click to vote
SBACPAD
2003
IEEE
15 years 12 months ago
2003
IEEE
Frequent itemset mining is a classic problem in data mining. It is a non-supervised process which concerns in finding frequent patterns (or itemsets) hidden in large volumes of d...
188
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
In many application contexts, like statistical databases, scientific databases, query optimizers, OLAP, and so on, data are often summarized into synopses of aggregate values. Su...