911 search results - page 15 / 183 » The Semantics of Event Prevention |
69
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
DAGSTUHL
2003
14 years 11 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
126
click to vote
MTA
2011
14 years 4 months ago
2011
Research on methods for detection and recognition of events and actions in videos is receiving an increasing attention from the scientific community, because of its relevance for ...
73
Voted
AI
2004
Springer
14 years 9 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In baseball game, an event is defined as the portion of video clip between two pitches, and a play is defined as a batter finishing his plate appearance. A play is a concatenation...