Sciweavers

4966 search results - page 630 / 994
» its 2010
Sort
View
CORR
2010
Springer
196views Education» more  CORR 2010»
15 years 7 months ago
Low Power Reversible Parallel Binary Adder/Subtractor
In recent years, Reversible Logic is becoming more and more prominent technology having its applications in Low Power CMOS, Quantum Computing, Nanotechnology, and Optical Computin...
H. G. Rangaraju, U. Venugopal, K. N. Muralidhara, ...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 7 months ago
On Equivalence Between Network Topologies
One major open problem in network coding is to characterize the capacity region of a general multi-source multi-demand network. There are some existing computational tools for boun...
Michelle Effros, Tracey Ho, Shirin Jalali
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 7 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 7 months ago
Discrete Partitioning and Coverage Control for Gossiping Robots
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
Joseph W. Durham, Ruggero Carli, Paolo Frasca, Fra...
CORR
2010
Springer
258views Education» more  CORR 2010»
15 years 7 months ago
Single Frame Image super Resolution using Learned Directionlets
In this paper, a new directionally adaptive, learning based, single image super resolution method using multiple direction wavelet transform, called Directionlets is presented. Th...
A. P. Reji, Tessamma Thomas