Sciweavers

34 search results - page 3 / 7
» CT-NOR: Representing and Reasoning About Events in Continuou...
Sort
View
SLP
1994
77views more  SLP 1994»
13 years 6 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
CHARME
1993
Springer
68views Hardware» more  CHARME 1993»
13 years 9 months ago
Temporal Analysis of Time Bounded Digital Systems
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
Alan R. Martello, Steven P. Levitan
LREC
2010
166views Education» more  LREC 2010»
13 years 6 months ago
Annotating Event Mentions in Text with Modality, Focus, and Source Information
Many natural language processing tasks, including information extraction, question answering and recognizing textual entailment, require analysis of the polarity, focus of polarit...
Suguru Matsuyoshi, Megumi Eguchi, Chitose Sao, Koj...
TFS
2008
116views more  TFS 2008»
13 years 5 months ago
Fuzzifying Allen's Temporal Interval Relations
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
FLAIRS
2008
13 years 7 months ago
Learning a Probabilistic Model of Event Sequences from Internet Weblog Stories
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
Mehdi Manshadi, Reid Swanson, Andrew S. Gordon