8928 search results - page 124 / 1786 » Modeling Current Events |
126
click to vote
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
137
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
When given a single static picture, humans can not only interpret the instantaneous content captured by the image, but also they are able to infer the chain of dynamic events that ...
148
Voted
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
116
click to vote
SRDS
2007
IEEE
15 years 9 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
132
click to vote
EVENT
2001
15 years 4 months ago
2001
As amounts of publicly uvuiluble video dutu grow, the need to query this dutu efficiently becomes signijcunt. Consequently, content-bused retrievul of video datu turns out to be U...