Sciweavers

610 search results - page 112 / 122
» An Efficient Method for Compressed Sensing
Sort
View
EUROMICRO
1998
IEEE
14 years 28 days ago
Retransmission Scheme for MPEG Streams in Mission Critical Multimedia Applications
Since multimedia data are characterized by continuity and massive volume, compression techniques such as MPEG are used for efficient transmission. However, a transmission error oc...
Sugh-Hoon Lee, Sungyoung Lee
ICDE
2007
IEEE
107views Database» more  ICDE 2007»
14 years 10 months ago
Many-to-Many Aggregation for Sensor Networks
Wireless sensor networks have enormous potential to aid data collection in a number of areas, such as environmental and wildlife research. In this paper, we address the challenges...
Adam Silberstein, Jun Yang 0001
HVC
2005
Springer
160views Hardware» more  HVC 2005»
14 years 2 months ago
Simultaneous SAT-Based Model Checking of Safety Properties
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
Zurab Khasidashvili, Alexander Nadel, Amit Palti, ...
DAC
2003
ACM
14 years 1 months ago
Low-power design methodology for an on-chip bus with adaptive bandwidth capability
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...
Rizwan Bashirullah, Wentai Liu, Ralph K. Cavin III
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
14 years 24 days ago
"RISC" for Industrial Robotics: Recent Results and Open Problems
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
John F. Canny, Kenneth Y. Goldberg