2143 search results - page 136 / 429 » corr 2010 |
92
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
A scattering vector is a local descriptor including multiscale and multi-direction co-occurrence information. It is computed with a cascade of wavelet decompositions and complex m...
87
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are nor...
64
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We give a new proof of Delsarte, Goethals and Mac williams theorem on minimal weight codewords of generalized Reed-Muller codes published in 1970. To prove this theorem, we consid...
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic