2223 search results - page 206 / 445 » Events in Property Patterns |
122
Voted
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Text frame classification is needed in many applications such as event identification, exact event boundary identification, navigation, video surveillance in multimedia etc. To the...
120
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
175
Voted
CAV
1994
Springer
15 years 7 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
130
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...