3229 search results - page 444 / 646 » Mixing |
171
click to vote
CAV
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
169
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...
159
Voted
CIVR
2007
Springer
16 years 5 days ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...
124
click to vote
COCO
2007
Springer
16 years 5 days ago
2007
Springer
We present a deterministic logspace algorithm for solving S-T Connectivity on directed graphs if (i) we are given a stationary distribution of the random walk on the graph in whic...
144
click to vote
CP
2007
Springer
16 years 5 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...