13841 search results - page 2336 / 2769 » Algorithms and Constraint Programming |
164
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
164
click to vote
MMM
2007
Springer
15 years 11 months ago
2007
Springer
TV logo detection, tracking and removal play an important role in the applications of claiming video content ownership, logo-based broadcasting surveillance, commercial skipping, a...
119
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
130
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. GPUs offer a tremendous amount of computational bandwidth that was until now largely unusable for cryptographic computations due to a lack of integer arithmetic and user...
160
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...