We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
David B. Anderson, James L. Frankel, Joe Marks, As...
The end-to-end performance of natural language processing systems for compound tasks, such as question answering and textual entailment, is often hampered by use of a greedy 1-bes...
Jenny Rose Finkel, Christopher D. Manning, Andrew ...
Genetic programming, in conjunction with advanced analytical instruments, is a novel tool for the investigation of complex biological systems at the whole-tissue level. In this stu...
Helen E. Johnson, Richard J. Gilbert, Michael K. W...
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...