8828 search results - page 274 / 1766 » Formal methods in practice |
165
click to vote
PPCP
1993
15 years 10 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
173
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Bias variance decomposition for classifiers is a useful tool in understanding classifier behavior. Unfortunately, the literature does not provide consistent guidelines on...
187
click to vote
NIPS
2008
15 years 8 months ago
2008
ROC curves are one of the most widely used displays to evaluate performance of scoring functions. In the paper, we propose a statistical method for directly optimizing the ROC cur...
226
click to vote
IADIS
2004
2004
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program
15 years 8 months ago
It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...
191
click to vote
JCB
2008
15 years 6 months ago
2008
We define new measures of sequence similarity for oligonucleotide probe design. These new measures incorporate the nearest neighbor k-stem motifs in their definition, but can be e...