3378 search results - page 16 / 676 » A universe of binding and computation |
ICPP
1998
IEEE
13 years 11 months ago
1998
IEEE
Online interaction with computer systems and applications allows developers to monitor, experiment with, and debug long-running, resource-intensive applicationsat runtime. Traditi...
TLCA
2009
Springer
14 years 1 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
Abstract: Introspection, a zero-overhead binding technique during self-diagnosing microarchitecture synthesis is presented. Given a scheduled control data ow graph (CDFG) introspec...
BMCBI
2005
13 years 7 months ago
2005
Background: Collections of transcription factor binding profiles (Transfac, Jaspar) are essential to identify regulatory elements in DNA sequences. Subsets of highly similar profi...
COGSCI
2011
13 years 2 months ago
2011
Many kinds of creativity result from combination of mental representations. This paper provides a computational account of how creative thinking can arise from combining neural pa...