3820 search results - page 459 / 764 » Bounded Model Debugging |
221
click to vote
TIT
2010
15 years 2 months ago
2010
We consider the capacity of a wideband fading channel with partial feedback, subject to an average power constraint. A doubly block Rayleigh fading model is assumed with finite co...
219
click to vote
TIT
2010
15 years 2 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...
256
click to vote
CADE
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
222
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a novel algorithm for agglomerative hierarchical clustering based on evaluating marginal likelihoods of a probabilistic model. This algorithm has several advantages ove...
164
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
We present results from an experiment examining the area occluded by the hand when using a tablet-sized direct pen input device. Our results show that the pen, hand, and forearm c...