13 search results - page 2 / 3 » Compact Hashing with Joint Optimization of Search Accuracy a... |
SPIN
2009
Springer
13 years 11 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
PE
2010
Springer
13 years 3 months ago
2010
Springer
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
AAAI
2007
13 years 7 months ago
2007
Treebank parsing can be seen as the search for an optimally refined grammar consistent with a coarse training treebank. We describe a method in which a minimal grammar is hierarc...
ICIP
2007
IEEE
13 years 11 months ago
2007
IEEE
A methodology for complexity scalable video encoding and complexity control within the framework of the H.264/AVC video encoder is presented. To yield good rate-distortion perform...
DAGM
2007
Springer
13 years 11 months ago
2007
Springer
We present an approach for estimating the 3D position and in case of articulated objects also the joint configuration from segmented 2D images. The pose estimation without initial...