Sciweavers

1652 search results - page 76 / 331
» Matching Vector Codes
Sort
View
ICIP
2000
IEEE
16 years 27 days ago
Performance Analysis of an H.263 Video Encoder for VIRAM
VIRAM (Vector Intelligent Random Access Memory) is a vector architecture processor with embedded memory, designed for portable multimedia processing devices. Its vector processing...
Thinh P. Q. Nguyen, Avideh Zakhor, Katherine A. Ye...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
15 years 12 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia

Tutorial
4675views
16 years 10 months ago
Writing Fast Matlab Code
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
Pascal Getreuer,
SIAMSC
2010
120views more  SIAMSC 2010»
14 years 9 months ago
Simultaneously Sparse Solutions to Linear Inverse Problems with Multiple System Matrices and a Single Observation Vector
Abstract. A problem that arises in slice-selective magnetic resonance imaging (MRI) radiofrequency (RF) excitation pulse design is abstracted as a novel linear inverse problem with...
Adam C. Zelinski, Vivek K. Goyal, Elfar Adalsteins...
CIKM
2009
Springer
15 years 5 months ago
Incremental query evaluation for support vector machines
Support vector machines (SVMs) have been widely used in multimedia retrieval to learn a concept in order to find the best matches. In such a SVM active learning environment, the ...
Danzhou Liu, Kien A. Hua