Sciweavers

4047 search results - page 274 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
EOR
2008
90views more  EOR 2008»
15 years 6 months ago
An improved simulated annealing algorithm for bandwidth minimization
In this paper, a simulated annealing algorithm is presented for the Bandwidth Minimization Problem for Graphs. This algorithm is based on three distinguished features including an...
Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-...
IJCV
2006
79views more  IJCV 2006»
15 years 6 months ago
Splines in Higher Order TV Regularization
Splines play an important role as solutions of various interpolation and approximation problems that minimize special functionals in some smoothness spaces. In this paper, we show ...
Gabriele Steidl, Stephan Didas, Julia Neumann
JC
2007
130views more  JC 2007»
15 years 6 months ago
On the complexity of deciding connectedness and computing Betti numbers of a complex algebraic variety
We extend the lower bounds on the complexity of computing Betti numbers proved in [6] to complex algebraic varieties. More precisely, we first prove that the problem of deciding ...
Peter Scheiblechner
CVPR
2006
IEEE
16 years 8 months ago
Are two rotational flows sufficient to calibrate a smooth non-parametric sensor?
We present an attempt to determine whether the shape of a generic central-projection camera, such as the eye of an insect or a log-polar camera, can be determined from two motion ...
David Nistér, Etienne Grossmann, Eun-Joo Le...
SAT
2005
Springer
142views Hardware» more  SAT 2005»
15 years 12 months ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...