Much of hypertext narrative relies on links to shape a reader’s interaction with the text. But links may be too limited to express ambiguity, imprecision, and entropy, or to adm...
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and...
Michael Bauer, John Clark, Eric Schkufza, Alex Aik...
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Background: Low-level processing and normalization of microarray data are most important steps in microarray analysis, which have profound impact on downstream analysis. Multiple ...