Sciweavers

3818 search results - page 407 / 764
» Word Problems on Compressed Words
Sort
View
LPAR
2001
Springer
15 years 11 months ago
Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
Volker Diekert, Paul Gastin
FOCS
1998
IEEE
15 years 11 months ago
The Shortest Vector in a Lattice is Hard to Approximate to Within Some Constant
We show that approximating the shortest vector problem (in any p norm) to within any constant factor less than p 2 is hard for NP under reverse unfaithful random reductions with i...
Daniele Micciancio
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 11 months ago
ABRex - Description of the Abrasion Wear Expert System
In order to solve the wear problem in terms of quality there is need for a experienced expert with a lengthy practice. Such valuable persons in practice are regularly missing and ...
Dragutin Lisjak, Tomislav Filetin
SPAA
1990
ACM
15 years 10 months ago
Parallel Algorithms for Arrangements
We give the first efficient parallel algorithms for solving the arrangement problem. We give a deterministic algorithm for the CREW PRAM which runs in nearly optimal bounds of O(lo...
Richard J. Anderson, Paul Beame, Erik Brisson
ECCV
2010
Springer
15 years 10 months ago
Bundle Adjustment in the Large
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...