Sciweavers

3413 search results - page 114 / 683
» New Support Vector Algorithms
Sort
View
DEXAW
2010
IEEE
186views Database» more  DEXAW 2010»
15 years 4 months ago
Gaze-tracking and Acoustic Vector Sensors Technologies for PTZ Camera Steering and Acoustic Event Detection
—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...
Jozef Kotus, Bartosz Kunka, Andrzej Czyzewski, Pio...
SC
2005
ACM
15 years 12 months ago
Leading Computational Methods on Scalar and Vector HEC Platforms
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
Leonid Oliker, Jonathan Carter, Michael F. Wehner,...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 6 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
IMAMS
2003
93views Mathematics» more  IMAMS 2003»
15 years 7 months ago
Vector Transport for Shape-from-Shading
In this paper we describe a new shape-from-shading method. We show how the parallel transport of surface normals can be used to impose curvature consistency and also to iterativel...
Fabio Sartori, Edwin R. Hancock
ICPR
2004
IEEE
16 years 7 months ago
Statistical Classification of Raw Textile Defects
In this paper, the problem of classification of defects occurring in a textile manufacture is addressed. A new classification scheme is devised in which different features, extrac...
Ivan A. Rossi, Manuele Bicego, Vittorio Murino