1633 search results - page 316 / 327 » On the Verification of Temporal Properties |
116
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
102
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We demonstrate a system for capturing multi-thousand frame-per-second (fps) video using a dense array of cheap 30fps CMOS image sensors. A benefit of using a camera array to captu...
123
click to vote
ICML
2000
IEEE
16 years 16 days ago
2000
IEEE
Eligibility traces have been shown to speed reinforcement learning, to make it more robust to hidden states, and to provide a link between Monte Carlo and temporal-difference meth...
151
click to vote
KDD
2008
ACM
16 years 4 days ago
2008
ACM
A multi-mode network typically consists of multiple heterogeneous social actors among which various types of interactions could occur. Identifying communities in a multi-mode netw...
KDD
2008
ACM
16 years 4 days ago
2008
ACM
We present a detailed study of network evolution by analyzing four large online social networks with full temporal information about node and edge arrivals. For the first time at ...