Sciweavers

1179 search results - page 51 / 236
» Relative Timing Based Verification of Timed Circuits and Sys...
Sort
View
ISBI
2004
IEEE
16 years 4 months ago
Outlier Detection for Robust Region-Based Estimation of the Hemodynamic Response Function in Event-Related fMRI
In functional Magnetic Resonance Imaging (fMRI), the Hemodynamic Response Function (HRF) represents the impulse response of the neurovascular system. Its identification is essenti...
Philippe Ciuciu, Alexis Roche, Jérôme...
ACCV
1998
Springer
15 years 7 months ago
Integrating Faces and Fingerprints for Personal Identification
An automatic personal identification system based solely on fingerprints or faces is often not able to meet the system performance requirements. Face recognition is fast but not ex...
Lin Hong, Anil K. Jain
123
Voted
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
15 years 9 months ago
Techniques for Fast Transient Fault Grading Based on Autonomous Emulation
Very deep submicron and nanometer technologies have increased notably integrated circuit (IC) sensitiveness to radiation. Soft errors are currently appearing into ICs working at e...
Celia López-Ongil, Mario García-Vald...
114
Voted
APSCC
2008
IEEE
15 years 5 months ago
Measuring the Effectiveness and the Fairness of Relation Hiding Systems
In this paper, we develop a framework for measuring the level of protection offered by relation hiding systems. The framework provides a uniform way to define a variety of privacy ...
Andreas Pashalidis
227
Voted
POPL
2006
ACM
16 years 3 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan