2343 search results - page 135 / 469 » Structure and Interpretation of Computer Programs |
150
Voted
ML
2006
ACM
15 years 4 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
198
click to vote
BMCBI
2011
14 years 12 months ago
2011
Background: It is difficult to accurately interpret chromosomal correspondences such as true orthology and paralogy due to significant divergence of genomes from a common ancestor...
151
click to vote
PODS
2007
ACM
16 years 5 months ago
2007
ACM
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
171
click to vote
IEEEPACT
2009
IEEE
15 years 2 months ago
2009
IEEE
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
141
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...