348 search results - page 27 / 70 » Experiments with Reasoning for Temporal Relations between Ev... |
LREC
2010
13 years 10 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
JAPLL
2007
13 years 8 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
INTERACT
2007
13 years 10 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...
IMAGING
2004
13 years 10 months ago
2004
While an image's relative surround luminance increases from dark to light, the perceived contrast of the image will increase. For this reason, projected transparencies are ma...