Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
We present an annotation method for developing a model of children’s comprehension that differentiates between their recall for the objective content of a story and inferred con...
Rebecca J. Passonneau, Adam Goodkind, Elena T. Lev...
Sub-class partition information within positive and negative classes is often ignored by a binary classifier, even when these detailed background information is available at hand. ...
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...