87 search results - page 1 / 18 » Monitoring Temporal Rules Combined with Time Series |
196
Voted
CAV
2003
Springer
16 years 20 days ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
189
click to vote
KI
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
199
click to vote
JUCS
2006
15 years 7 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
246
click to vote
PKDD
2001
Springer
15 years 12 months ago
2001
Springer
Feature extraction and knowledge discovery from a large amount of image data such as remote sensing images have become highly required recent years. In this study, a framework for ...
219
click to vote
IEAAIE
2005
Springer
16 years 28 days ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...