Sciweavers

796 search results - page 23 / 160
» Approximating the centroid is hard
Sort
View
COCOON
2006
Springer
13 years 11 months ago
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...
Jesper Torp Kristensen, Peter Bro Miltersen
ECCC
2007
185views more  ECCC 2007»
13 years 7 months ago
Trapdoors for Hard Lattices and New Cryptographic Constructions
We show how to construct a variety of “trapdoor” cryptographic tools assuming the worst-case hardness of standard lattice problems (such as approximating the length of the sho...
Craig Gentry, Chris Peikert, Vinod Vaikuntanathan
ICPR
2006
IEEE
14 years 8 months ago
Camera Text Recognition based on Perspective Invariants
As camera resolution increases, high-speed non-contact text capture through a digital camera is opening up a new channel for document capture and understanding. Unfortunately, per...
Chew Lim Tan, Shijian Lu
TEC
2010
126views more  TEC 2010»
13 years 2 months ago
Learning the Large-Scale Structure of the MAX-SAT Landscape Using Populations
A new algorithm for solving MAX-SAT problems is introduced which clusters good solutions, and restarts the search from the closest feasible solution to the centroid of each cluster...
Mohamed Qasem, Adam Prügel-Bennett
PATMOS
2007
Springer
14 years 1 months ago
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
Henrik Lipskoch, Karsten Albers, Frank Slomka