8928 search results - page 140 / 1786 » Modeling Current Events |
130
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Classifying an event captured in an image is useful for understanding the contents of the image. The captured event provides context to refine models for the presence and appearan...
109
click to vote
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
117
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
141
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
142
click to vote
PADS
2000
ACM
15 years 7 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...