1511 search results - page 18 / 303 » Relational Parametricity for Computational Effects |
162
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
158
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
123
click to vote
SIGITE
2004
ACM
15 years 9 months ago
2004
ACM
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
125
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Entry of HIV-1 into human lymphoid requires activities of viral envelope glycoproteins gp120 and gp41, and two host-cell proteins, the primary receptor CD4 and a chemo...
126
click to vote
POPL
2003
ACM
15 years 9 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...