Sciweavers

3951 search results - page 355 / 791
» Automatic amortized analysis
Sort
View
ICB
2009
Springer
159views Biometrics» more  ICB 2009»
16 years 1 months ago
Multilinear Tensor-Based Non-parametric Dimension Reduction for Gait Recognition
The small sample size problem and the difficulty in determining the optimal reduced dimension limit the application of subspace learning methods in the gait recognition domain. To...
Changyou Chen, Junping Zhang, Rudolf Fleischer
SG
2009
Springer
16 years 1 months ago
Interactive Context-Aware Visualization for Mobile Devices
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
Mike Eissele, Daniel Weiskopf, Thomas Ertl
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
169
Voted
ISDA
2008
IEEE
16 years 1 months ago
Performance Comparison of ADRS and PCA as a Preprocessor to ANN for Data Mining
In this paper we compared the performance of the Automatic Data Reduction System (ADRS) and principal component analysis (PCA) as a preprocessor to artificial neural networks (ANN...
Nicholas Navaroli, David Turner, Arturo I. Concepc...
ISSRE
2008
IEEE
16 years 1 months ago
Testing Software Product Lines Using Incremental Test Generation
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...