2947 search results - page 135 / 590 » Analyzing Program Analyses |
125
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We extend the common depth-first backtrack search for constraint satisfaction problems with randomized variable and value selection. The resulting methods are applied to ...
135
click to vote
SNPD
2008
15 years 6 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
129
Voted
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We analyze spread-spectrum and quantization projection data hiding methods from a game-theoretic point of view, using the bit error rate (BER) as the payoff, and assuming that the...
125
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Classifying and analyzing human motion from a video is relatively common in many areas. Since the motion is carried out in 3D space, the 2D projection provided by a video is somew...
172
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We analyze and compare various transport protocols in the context of wireless in-vehicle IP-based audio and video communication. We determine the most appropriate transport protoc...