909 search results - page 111 / 182 » Temporal Logic Case Study |
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents intermodal collaboration: a strategy for semantic content analysis for broadcasted sports video. The broadcasted video can be viewed as a set of multimodal str...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
Transmission of high quality video over the Internet faces many challanges including unpredictable packet loss characteristics of the current Internet and the heterogeneity of rec...
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this work, we perform an extensive statistical evaluation for learning and recognition of object manipulation actions. We concentrate on single arm/hand actions but study th...
B
2007
Springer
14 years 3 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
VIZSEC
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...