5205 search results - page 281 / 1041 » Tilings and model theory |
127
Voted
ICASSP
2010
IEEE
15 years 26 days ago
2010
IEEE
Sparse representation theory has been increasingly used in the fields of signal processing and machine learning. The standard sparse models are not invariant to spatial transform...
122
click to vote
UTP
2010
14 years 10 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
91
Voted
WCET
2010
14 years 10 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
149
click to vote
ICLA
2011
Springer
14 years 4 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
104
click to vote
CORR
2000
Springer
15 years 14 days ago
2000
Springer
While Kolmogorov complexity is the accepted absolute measure of information content of an individual finite object, a similarly absolute notion is needed for the relation between a...