348 search results - page 27 / 70 » Experiments with Reasoning for Temporal Relations between Ev... |
107
Voted
LREC
2010
15 years 2 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...
102
Voted
JAPLL
2007
15 years 13 days 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 ...
101
Voted
IFM
2004
Springer
15 years 6 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
15 years 2 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
15 years 1 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...