Sciweavers

46 search results - page 7 / 10
» Bipolar Preference Problems: Framework, Properties and Solvi...
Sort
View
CAV
1999
Springer
119views Hardware» more  CAV 1999»
13 years 11 months ago
A Theory of Restrictions for Logics and Automata
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
Nils Klarlund
SCALESPACE
2009
Springer
14 years 2 months ago
Augmented Lagrangian Method, Dual Methods and Split Bregman Iteration for ROF Model
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-diļ...
Xue-Cheng Tai, Chunlin Wu
CG
2006
Springer
13 years 7 months ago
Interactive mesh deformation using equality-constrained least squares
Mesh deformation techniques that preserve the differential properties have been intensively studied. In this paper, we propose an equality-constrained least squares approach for s...
H. Masuda, Y. Yoshioka, Y. Furukawa
MM
2005
ACM
171views Multimedia» more  MM 2005»
14 years 1 months ago
Semantic manifold learning for image retrieval
Learning the userā€™s semantics for CBIR involves two diļ¬€erent sources of information: the similarity relations entailed by the content-based features, and the relevance relatio...
Yen-Yu Lin, Tyng-Luh Liu, Hwann-Tzong Chen
EDBT
2009
ACM
106views Database» more  EDBT 2009»
13 years 11 months ago
AlphaSum: size-constrained table summarization using value lattices
Consider a scientist who wants to explore multiple data sets to select the relevant ones for further analysis. Since the visualization real estate may put a stringent constraint o...
K. Selçuk Candan, Huiping Cao, Yan Qi 0002,...