5203 search results - page 1016 / 1041 » An approach to workflow modeling and analysis |
HICSS
2012
IEEE
12 years 4 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
WSDM
2012
ACM
12 years 4 months ago
2012
ACM
We pose a fundamental question in understanding how to identify and design successful communities: What factors predict whether a community will grow and survive in the long term?...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We propose a novel algorithm for segmenting multiple motions of different types from point correspondences in multiple affine or perspective views. Since point trajectories associ...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a viewpoint-based approach for the quick fusion of multiple stereo depth maps. Our method selects depth estimates for each pixel that minimize violations of visibility ...