Sciweavers

9316 search results - page 78 / 1864
» Analysis of traceback techniques
Sort
View
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 4 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
PAMI
2006
132views more  PAMI 2006»
14 years 11 months ago
Capitalize on Dimensionality Increasing Techniques for Improving Face Recognition Grand Challenge Performance
This paper presents a novel pattern recognition framework by capitalizing on dimensionality increasing techniques. In particular, the framework integrates Gabor image representatio...
Chengjun Liu
CJ
2010
150views more  CJ 2010»
14 years 9 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 7 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
JMLR
2012
13 years 2 months ago
Structured Sparse Canonical Correlation Analysis
In this paper, we propose to apply sparse canonical correlation analysis (sparse CCA) to an important genome-wide association study problem, eQTL mapping. Existing sparse CCA mode...
Xi Chen, Han Liu, Jaime G. Carbonell