332 search results - page 36 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
110
click to vote
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
100
click to vote
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
115
click to vote
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
111
Voted
SODA
1998
ACM
15 years 2 months ago
1998
ACM
We present the first polylog-competitive online algorithm for the general multicast admission control and routing problem in the throughput model. The ratio of the number of reque...
103
click to vote
SODA
2003
ACM
15 years 2 months ago
2003
ACM
Collusion-secure fingerprinting codes are an important primitive used by many digital watermarking schemes [1, 10, 9]. Boneh and Shaw [3] define a model for these types of codes...