1283 search results - page 131 / 257 » A Survey on Temporal Logics |
155
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
194
click to vote
TIME
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
204
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
152
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
179
click to vote
LREC
2010
15 years 7 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...