2223 search results - page 69 / 445 » Events in Property Patterns |
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Our previous research shows that the use of multiple sources of information based on intrinsic AV features and external knowledge helps to detect events in soccer video. To make t...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
ENTCS
2006
14 years 9 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
SOCO
2010
Springer
14 years 7 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
IJCAI
2007
14 years 11 months ago
2007
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...