20197 search results - page 3618 / 4040 » Comparing Computational Power |
116
click to vote
AMC
2005
15 years 4 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
136
click to vote
TASLP
2008
15 years 4 months ago
2008
We present a computer audition system that can both annotate novel audio tracks with semantically meaningful words and retrieve relevant tracks from a database of unlabeled audio c...
174
click to vote
TC
2008
15 years 4 months ago
2008
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
145
click to vote
INFFUS
2007
15 years 4 months ago
2007
The task of enhancing the perception of a scene by combining information captured by different sensors is usually known as image fusion. The pyramid decomposition and the Dual-Tr...
151
click to vote
TCAD
2008
15 years 4 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...