Studies in semantics traditionally focus on knowledge of objects. By contrast, less is known about how objects relate to each other. In an fMRI study, we tested the hypothesis tha...
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
Extracting semantic relationships between entities from text documents is challenging in information extraction and important for deep information processing and management. This ...
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...