Sciweavers

5758 search results - page 911 / 1152
» Anonymity-preserving data collection
Sort
View
CSL
2010
Springer
15 years 7 months ago
Active learning and semi-supervised learning for speech recognition: A unified framework using the global entropy reduction maxi
We propose a unified global entropy reduction maximization (GERM) framework for active learning and semi-supervised learning for speech recognition. Active learning aims to select...
Dong Yu, Balakrishnan Varadarajan, Li Deng, Alex A...
ENTCS
2008
140views more  ENTCS 2008»
15 years 7 months ago
Higher-Order Separation Logic in Isabelle/HOLCF
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
Carsten Varming, Lars Birkedal
BIOINFORMATICS
2006
134views more  BIOINFORMATICS 2006»
15 years 7 months ago
HaptenDB: a comprehensive database of haptens, carrier proteins and anti-hapten antibodies
The key requirement for successful immunochemical assay is the availability of antibodies with high specificity and desired affinity. Small molecules, when used as haptens, are no...
Mahender Kumar Singh, Shilpy Srivastava, G. P. S. ...
BMCBI
2006
147views more  BMCBI 2006»
15 years 7 months ago
QPath: a method for querying pathways in a protein-protein interaction network
Background: Sequence comparison is one of the most prominent tools in biological research, and is instrumental in studying gene function and evolution. The rapid development of hi...
Tomer Shlomi, Daniel Segal, Eytan Ruppin, Roded Sh...
BMCBI
2006
102views more  BMCBI 2006»
15 years 7 months ago
MycoperonDB: a database of computationally identified operons and transcriptional units in Mycobacteria
Background: A key post genomics challenge is to identify how genes in an organism come together and perform physiological functions. An important first step in this direction is t...
Sarita Ranjan, Ranjit Kumar Gundu, Akash Ranjan