Sciweavers

4131 search results - page 498 / 827
» Compactness in Topology and Computation
Sort
View
175
Voted
ICRA
2003
IEEE
177views Robotics» more  ICRA 2003»
16 years 2 days ago
A navigation framework for multiple mobile robots and its application at the Expo.02 exhibition
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...
Kai Oliver Arras, Roland Philippsen, Nicola Tomati...
ASP
2003
Springer
16 years 14 hour ago
Parametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
Nicola Leone, Simona Perri
COCO
2003
Springer
114views Algorithms» more  COCO 2003»
16 years 9 hour ago
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
Yijia Chen, Jörg Flum, Martin Grohe
FPGA
2003
ACM
125views FPGA» more  FPGA 2003»
16 years 1 hour ago
I/O placement for FPGAs with multiple I/O standards
In this paper, we present the first exact algorithm to solve the constrained I/O placement problem for FPGAs that support multiple I/O standards. We derive a compact integer line...
Wai-Kei Mak
ITNG
2010
IEEE
15 years 12 months ago
A Fast and Stable Incremental Clustering Algorithm
— Clustering is a pivotal building block in many data mining applications and in machine learning in general. Most clustering algorithms in the literature pertain to off-line (or...
Steven Young, Itamar Arel, Thomas P. Karnowski, De...