Sciweavers

23413 search results - page 389 / 4683
» or 2005
Sort
View
SAT
2005
Springer
98views Hardware» more  SAT 2005»
16 years 7 days ago
Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable
We present an algorithm that decides the satisfiability of a
Magnus Wahlström
SCALESPACE
2005
Springer
16 years 7 days ago
Relativistic Scale-Spaces
Bernhard Burgeth, Stephan Didas, Joachim Weickert
SCALESPACE
2005
Springer
16 years 7 days ago
An Analysis of Variational Alignment of Curves in Images
Niels Chr. Overgaard, Jan Erik Solem
SCALESPACE
2005
Springer
16 years 7 days ago
Discrete Orthogonal Decomposition and Variational Fluid Flow Estimation
Jing Yuan, Paul Ruhnau, Étienne Mémi...