8025 search results - page 25 / 1605 » Combinators Introduction: An Algorithm |
ICFP
2000
ACM
15 years 2 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
BMCBI
2007
14 years 9 months ago
2007
Background: A combination of multiple types of transcription factors and cis-regulatory elements is often required for gene expression in eukaryotes, and the combinatorial regulat...
63
Voted
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
63
Voted
STOC
2000
ACM
15 years 2 months ago
2000
ACM
217
click to vote
Book
Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables us to develop optimal vision algorithms sy...