Sciweavers

6799 search results - page 86 / 1360
» The Tao of Modeling Spaces
Sort
View

Publication
485views
12 years 10 months ago
Incremental Activity Modelling in Multiple Disjoint Cameras
Activity modelling and unusual event detection in a network of cameras is challenging particularly when the camera views are not overlapped. We show that it is possible to detect u...
Chen Change Loy, Tao Xiang, Shaogang Gong
WDAG
2001
Springer
100views Algorithms» more  WDAG 2001»
14 years 2 months ago
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...
Faith E. Fich, Colette Johnen
ENTCS
2006
125views more  ENTCS 2006»
13 years 10 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
CVPR
2005
IEEE
14 years 12 months ago
3D Geometric and Optical Modeling of Warped Document Images from Scanners
When one scans a document page from a thick bound volume, the curvature of the page to be scanned results in two kinds of distortion in the scanned document images: i) shade along...
Li Zhang, Zheng Zhang 0003, Chew Lim Tan, Tao Xia
WWW
2008
ACM
14 years 10 months ago
Context-sensitive QoS model: a rule-based approach to web service composition
Generally, web services are provided with different QoS values, so they can be selected dynamically in service composition process. However, the conventional context free composit...
Tao Zhou, Xiaolin Zheng, William Wei Song, Xiaofen...