154 search results - page 24 / 31 » The PER Model of Abstract Non-interference |
156
click to vote
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
159
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Delay-reliability (D-R), and throughput-delayreliability (T-D-R) tradeoffs in an ad hoc network are derived for single hop and multi-hop transmission with automatic repe...
129
click to vote
ICPR
2010
IEEE
15 years 26 days ago
2010
IEEE
Abstract--In this paper, we (1) provide a complete framework for classification using Variational Mixture of Experts (VME); (2) derive the variational lower bound; and (3) apply th...
139
click to vote
CADE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
146
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...