Sciweavers

1379 search results - page 131 / 276
» The Complexity of the Annihilating Polynomial
Sort
View
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
16 years 1 days ago
Path Planning for Permutation-Invariant Multi-Robot Formations
— In this paper we demonstrate path planning for our formation space that represents permutation-invariant multirobot formations. Earlier methods generally pre-assign roles for e...
Stephen Kloder, Seth Hutchinson
LICS
2005
IEEE
16 years 1 days ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
IWPEC
2004
Springer
15 years 11 months ago
The Minimum Weight Triangulation Problem with Few Inner Points
We propose to look at the computational complexity of 2-dimensional geometric optimization problems on a finite point set with respect to the number of inner points (that is, poi...
Michael Hoffmann, Yoshio Okamoto
MFCS
2004
Springer
15 years 11 months ago
Generation Problems
Given a fixed computable binary operation , we study the complexity of the following generation problem: The input consists of strings ½ Ò . The question is whether is in the c...
Elmar Böhler, Christian Glaßer, Bernhar...
ICCAD
1999
IEEE
90views Hardware» more  ICCAD 1999»
15 years 10 months ago
Marsh: min-area retiming with setup and hold constraints
This paper describes a polynomial time algorithm for min-area retiming for edge-triggered circuits to handle both setup and hold constraints. Given a circuit G and a target clock ...
Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K...