Sciweavers

891 search results - page 3 / 179
» Temporal Constraints: A Survey
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 10 months ago
A Survey on Temporal Logics
Savas Konur
ISCAS
2011
IEEE
205views Hardware» more  ISCAS 2011»
13 years 1 months ago
A new Temporal-Constraint-Based algorithm by handling temporal qualities for video enhancement
—Video enhancement has played very important roles in many applications. However, most existing enhancement methods only focus on the spatial quality within a frame while the tem...
Jun Xie, Weiyao Lin, Hongxiang Li, Ning Xu, Hongyu...
AIPS
2000
13 years 11 months ago
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
Ioannis Tsamardinos, Martha E. Pollack, John F. Ho...
JUCS
2006
121views more  JUCS 2006»
13 years 9 months ago
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
: 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 ...
Doron Drusinsky