Sciweavers

2984 search results - page 370 / 597
» Method engineering process patterns
Sort
View
WWW
2005
ACM
16 years 2 months ago
Boosting SVM classifiers by ensemble
By far, the support vector machines (SVM) achieve the state-of-theart performance for the text classification (TC) tasks. Due to the complexity of the TC problems, it becomes a ch...
Yan-Shi Dong, Ke-Song Han
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
15 years 8 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
CAIP
2009
Springer
220views Image Analysis» more  CAIP 2009»
15 years 8 months ago
Cooperative Stereo Matching with Color-Based Adaptive Local Support
Color processing imposes a new constraint on stereo vision algorithms: The assumption of constant color on object surfaces used to align local correlation windows with object bound...
Roland Brockers
CIARP
2009
Springer
15 years 8 months ago
Two-Frame Optical Flow Formulation in an Unwarping Multiresolution Scheme
Abstract. In this paper, we propose a new formulation of the Differential Optical Flow Equation (DOFE) between two consecutive images considering spatial and temporal information ...
Cyril Cassisa, Serge Simoens, Véronique Pri...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 8 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene