518 search results - page 30 / 104 » Time Window Temporal Logic |
101
click to vote
JEI
2006
14 years 11 months ago
2006
We propose a fuzzy logic recursive scheme for motion detection and spatiotemporal filtering that can deal with the Gaussian noise and unsteady illumination conditions in both the t...
100
click to vote
NJC
2002
14 years 11 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
AAAI
2004
15 years 28 days ago
2004
The resource-constrained project scheduling problem with time windows (RCPSP/max) is an important generalization of a number of well studied scheduling problems. In this paper, we...
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...
130
click to vote
KR
1991
Springer
15 years 3 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...