911 search results - page 25 / 183 » The Semantics of Event Prevention |
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The problem of sensor activation in a controlled discrete event system is considered. Sensors are assumed to be costly and can be turned on/off during the operation of the syst...
75
Voted
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...