3251 search results - page 136 / 651 » On a vector q-d algorithm |
141
click to vote
DEXAW
2010
IEEE
15 years 1 months ago
2010
IEEE
—An innovative application of gaze-tracking and acoustic vector sensors (AVS) technologies for guidance of moving pan- tilt-zoom (PTZ) monitoring camera is presented. Gaze-tracki...
110
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
131
click to vote
WSCG
2004
15 years 4 months ago
2004
Pel-recursive motion estimation is a well-established approach. However, in the presence of noise, it becomes an ill-posed problem that requires regularization. In this paper, mot...
143
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Automatic image categorization using low-level features is a challenging research topic in computer vision. In this paper, we formulate the image categorization problem as a multi...
130
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
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...