8928 search results - page 69 / 1786 » Modeling Current Events |
123
click to vote
NFM
2011
14 years 6 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
123
click to vote
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
IFM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
103
click to vote
AAAI
2012
13 years 2 months ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...