Sciweavers

1396 search results - page 55 / 280
» Succinct Dynamic Data Structures
Sort
View
SAS
2007
Springer
15 years 7 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
BPM
2006
Springer
98views Business» more  BPM 2006»
15 years 5 months ago
Structured Service Composition
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
Rik Eshuis, Paul W. P. J. Grefen, Sven Till
UAI
1997
15 years 2 months ago
Sequential Update of Bayesian Network Structure
There is an obvious need for improving the performance and accuracy of a Bayesian network as new data is observed. Because of errors in model construction and changes in the dynam...
Nir Friedman, Moisés Goldszmidt
CVPR
2010
IEEE
15 years 9 months ago
Efficient Action Spotting based on a Spacetime Oriented Structure Representation
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
Konstantinos Derpanis, Mikhail Sizintsev, Kevin Ca...
SIGOPS
2010
171views more  SIGOPS 2010»
14 years 11 months ago
Cassandra: a decentralized structured storage system
Cassandra is a distributed storage system for managing very large amounts of structured data spread out across many commodity servers, while providing highly available service wit...
Avinash Lakshman, Prashant Malik