3885 search results - page 447 / 777 » Transformations for Write-All-with-Collision Model |
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
170
click to vote
TASLP
2008
15 years 6 months ago
2008
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
187
click to vote
PAMI
1998
15 years 6 months ago
1998
—Deformable models have recently been proposed for many pattern recognition applications due to their ability to handle large shape variations.These proposed approaches represent...
347
Voted
Book
C code implementation of several math algorithms such as Linear Algebraic Equations,
Interpolation and Extrapolation, Integration of Functions, Evaluation of Functions, Random Num...
237
click to vote
Source Code
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...