518 search results - page 43 / 104 » Time Window Temporal Logic |
87
Voted
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
Trace buffer technology allows tracking the values of a few number of state elements inside a chip within a desired time window, which is used to analyze logic errors during post-s...
MSE
2002
IEEE
15 years 4 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
TIME
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
100
click to vote
ADC
2004
Springer
15 years 3 months ago
2004
Springer
Most modern database applications contain a significant amount of time dependent data and a substantial proportion of this data is now-relative, i.e. current now. While much resea...
JAIR
2006
14 years 11 months ago
2006
The treatment of exogenous events in planning is practically important in many realworld domains where the preconditions of certain plan actions are affected by such events. In th...