1982 search results - page 254 / 397 » Parametricity and dependent types |
193
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Protein secondary structure prediction method based on probabilistic models such as hidden Markov model (HMM) appeals to many because it provides meaningful informatio...
179
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An important and yet rather neglected question related to bioinformatics predictions is the estimation of the amount of data that is needed to allow reliable predictio...
161
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
162
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
171
click to vote
DFG
2009
Springer
16 years 29 days ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...