Sciweavers

1920 search results - page 36 / 384
» The Complexity of the A B C Problem
Sort
View
ISAAC
2004
Springer
79views Algorithms» more  ISAAC 2004»
15 years 11 months ago
Paired Pointset Traversal
In the Paired Pointset Traversal problem we ask whether, given two sets A = {a1, . . . , an} and B = {b1, . . . , bn} in the plane, there is an ordering π of the points such that ...
Peter Hui, Marcus Schaefer
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
The complexity of linear-time temporal logic over the class of ordinals
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
Stéphane Demri, Alexander Rabinovich
ICRA
2005
IEEE
141views Robotics» more  ICRA 2005»
15 years 11 months ago
On Computing Complex Navigation Functions
— This paper addresses the problem of efficiently computing robot navigation functions. Navigation functions are potential functions free of spurious local minima that present a...
Luciano C. A. Pimenta, Alexandre R. Fonseca, Guilh...
SIAMCO
2011
15 years 25 days ago
On Riccati Equations in Banach Algebras
Let R be a commutative complex Banach algebra with the involution ·⋆ and suppose that A ∈ Rn×n , B ∈ Rn×m , C ∈ Rp×n . The question of when the Riccati equation PBB⋆ ...
Ruth Curtain, Amol Sasane
FSTTCS
1992
Springer
15 years 10 months ago
Structural Average Case Complexity
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...
Rainer Schuler, Tomoyuki Yamakami