872 search results - page 78 / 175 » Sketch-based change detection: methods, evaluation, and appl... |
122
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
113
click to vote
GEOINFO
2003
15 years 1 months ago
2003
A new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, m...
BPM
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. A company's ability to flexibly adapt to changing business requirements is one key factor to remain competitive. The required flexibility in peopledriven processes i...
INFORMATICALT
2007
14 years 11 months ago
2007
Abstract. The paper considers application of stochastic optimization to system of automatic recognition of ischemic stroke area on computed tomography (CT) images. The algorithm of...
103
click to vote
CIVR
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes and compares two novel schemes for near duplicate image and video-shot detection. The first approach is based on global hierarchical colour histograms, using ...