Sciweavers

25218 search results - page 4641 / 5044
» A Logic-Based Information System
Sort
View
NAR
2011
251views Computer Vision» more  NAR 2011»
15 years 1 months ago
The IMGT/HLA database
The IMGT/HLA database (http://www.ebi.ac.uk/imgt/ hla) has provided a centralized repository for the sequences of the alleles named by the WHO Nomenclature Committee for Factors o...
James Robinson, Kavita Mistry, Hamish McWilliam, R...
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
PAMI
2011
15 years 1 months ago
Latent Fingerprint Matching
Latent fingerprint identification is of critical importance in forensics. While tremendous progress has been made in the field of automatic fingerprint identification, latent...
Anil K. Jain, Jianjiang Feng
267
Voted
TASLP
2011
15 years 1 months ago
Speaker Diarization Based on Intensity Channel Contribution
The time delay of arrival (TDOA) between multiple microphones has been used since 2006 as a source of information (localization) to complement the spectral features for speaker di...
Roberto Barra-Chicote, José Manuel Pardo, J...
TCOM
2011
92views more  TCOM 2011»
15 years 1 months ago
Bit-Interleaved Coded Modulation with Mismatched Decoding Metrics
Bit-interleaved coded modulation (BICM) has become the de facto coding standard for communication systems. Recently, BICM has been cast as a mismatched decoding scheme due to the ...
Trung Thanh Nguyen 0001, Lutz H.-J. Lampe
« Prev « First page 4641 / 5044 Last » Next »