1982 search results - page 99 / 397 » Parametricity and dependent types |
157
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
129
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
For time-dependent scalar fields, one is often interested in topology changes of contours in time. In this paper, we focus on describing how contours split and merge over a certa...
184
click to vote
PAMI
2008
15 years 4 months ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
143
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
139
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper, we evaluate and investigate two main types of relevance feedback algorithms; the Euclidean and the correlation?based approaches. In the first case, we examine heuri...