Sciweavers

104 search results - page 4 / 21
» Verification Under Increasing Dimensionality
Sort
View
84
Voted
ACHI
2009
IEEE
15 years 4 months ago
Ground Truth Verification Tool (GTVT) for Video Surveillance Systems
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu
73
Voted
TIM
2010
194views Education» more  TIM 2010»
14 years 4 months ago
An Online System of Multispectral Palmprint Verification
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
David Zhang, Zhenhua Guo, Guangming Lu, Lei Zhang ...
VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
15 years 1 months ago
Performance and Functional Verification of Microprocessors
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
Pradip Bose, Jacob A. Abraham
FORMATS
2009
Springer
15 years 1 months ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
KDD
2008
ACM
172views Data Mining» more  KDD 2008»
15 years 10 months ago
Structured metric learning for high dimensional problems
The success of popular algorithms such as k-means clustering or nearest neighbor searches depend on the assumption that the underlying distance functions reflect domain-specific n...
Jason V. Davis, Inderjit S. Dhillon