7047 search results - page 22 / 1410 » Focusing on Binding and Computation |
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
ISMB
1994
13 years 11 months ago
1994
Weuse a quantitative definition of specificity to developa neural networkfor the identification of commonprotein binding sites in a collection of unaligned DNAfragments. Wedemonst...
ICPP
1998
IEEE
14 years 1 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 4 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
14 years 1 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...