587 search results - page 57 / 118 » Compactness of Loeb Spaces |
129
click to vote
SPIN
2009
Springer
15 years 10 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 ...
120
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
142
click to vote
AIIDE
2006
15 years 5 months ago
2006
Reinforcement learning is an effective machine learning paradigm in domains represented by compact and discrete state-action spaces. In high-dimensional and continuous domains, ti...
108
click to vote
TWC
2008
15 years 3 months ago
2008
Previous results for correlated block-fading MIMO channels with covariance information indicate guaranteed capacity growth with additional transmit elements and that in rapidly fa...
137
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
The problem of deciding whether two pixels in an image have the same real world color is a fundamental problem in computer vision. Many color spaces are used in different applicat...