Sciweavers

25 search results - page 3 / 5
» High level equivalence symmetric input identification
Sort
View
CVPR
2007
IEEE
14 years 7 months ago
Radiometric Calibration from Noise Distributions
A method is proposed for estimating radiometric response functions from noise observations. From the statistical properties of noise sources, the noise distribution for each scene...
Yasuyuki Matsushita, Stephen Lin
BMCBI
2007
127views more  BMCBI 2007»
13 years 5 months ago
The EIPeptiDi tool: enhancing peptide discovery in ICAT-based LC MS/MS experiments
Background: Isotope-coded affinity tags (ICAT) is a method for quantitative proteomics based on differential isotopic labeling, sample digestion and mass spectrometry (MS). The me...
Mario Cannataro, Giovanni Cuda, Marco Gaspari, Ser...
BMCBI
2010
140views more  BMCBI 2010»
13 years 5 months ago
Quantification and deconvolution of asymmetric LC-MS peaks using the bi-Gaussian mixture model and statistical model selection
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
Tianwei Yu, Hesen Peng
ICC
2008
IEEE
176views Communications» more  ICC 2008»
13 years 11 months ago
A k-Nearest Neighbor Approach for User Authentication through Biometric Keystroke Dynamics
— Keystroke dynamics exhibit people’s behavioral features which are similar to hand signatures. A major problem hindering the large scale deployment of this technology is its h...
Jiankun Hu, Don Gingrich, Andy Sentosa
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
13 years 9 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...