CORR
2010
Springer
13 years 9 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We study network error correction with unequal link capacities. Previous results on network error correction assume unit link capacities. We consider network error correction codes...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduces a simple and very general theory of compressive sensing. In this theory, the sensing mechanism simply selects sensing vectors independently at random from a ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--It was shown recently that carrier sense multiple access (CSMA)-like distributed algorithms can achieve the maximal throughput in wireless networks (and task processing n...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
: Many high performance computing algorithms are bandwidth limited, hence the need for optimal data rearrangement kernels as well as their easy integration into the rest of the app...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...