9110 search results - page 1510 / 1822 » Formally-Based Design Evaluation |
126
click to vote
TIFS
2010
15 years 5 months ago
2010
—This paper presents a novel lossless data embedding algorithm for electronic inks. The proposed algorithm first computes the analytical ink-curve for each stroke as a set of sm...
200
click to vote
TMC
2010
15 years 5 months ago
2010
– While a lot of existing research attempts to extend the lifetime of a wireless sensor network (WSN) by designing energy efficient networking protocols, the impact of random dev...
209
click to vote
TMC
2010
15 years 5 months ago
2010
—In wireless networks, node cooperation has been exploited as a data relaying mechanism for decades. However, the wireless channel allows for much richer interaction among nodes....
180
click to vote
TMC
2010
15 years 5 months ago
2010
—IEEE 802.16 standard was designed to support the bandwidth demanding applications with quality of service (QoS). Bandwidth is reserved for each application to ensure the QoS. Fo...
167
click to vote
TMI
2010
15 years 5 months ago
2010
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...