Sciweavers

4940 search results - page 199 / 988
» On the Complexity of Universal Programs
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
NAR
2011
196views Computer Vision» more  NAR 2011»
14 years 9 months ago
UniPROBE, update 2011: expanded content and search tools in the online database of protein-binding microarray data on protein-DN
The Universal PBM Resource for OligonucleotideBinding Evaluation (UniPROBE) database is a centralized repository of information on the DNAbinding preferences of proteins as determ...
Kimberly Robasky, Martha L. Bulyk
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
16 years 6 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
ICFP
2002
ACM
16 years 6 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
SIGCSE
2010
ACM
150views Education» more  SIGCSE 2010»
15 years 11 months ago
Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field
While the discipline of computing has evolved significantly in the past 30 years, Computer Science curricula have not as readily adapted to these changes. In response, we have rec...
Mehran Sahami, Alex Aiken, Julie Zelenski