This paper presents a method of automatically constructing information extraction patterns on predicate-argument structures (PASs) obtained by full parsing from a smaller training...
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis...
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
Steven Strachan, Roderick Murray-Smith, Ian Oakley...
Abstract- The effect of adding noise to an expressioninduction model of language evolution was investigated. The model consisted of a number of artificial people who were able to i...