Sciweavers

2455 search results - page 193 / 491
» Graphical abstract help
Sort
View
ASPLOS
2004
ACM
15 years 9 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
VIS
2004
IEEE
130views Visualization» more  VIS 2004»
16 years 5 months ago
The VesselGlyph: Focus & Context Visualization in CT-Angiography
Reliable and complete blood-vessel segmentation is still a challenging problem. This is especially true in the presence of morphologic changes resulting from atherosclerotic disea...
EWSN
2008
Springer
16 years 3 months ago
Predictive Modeling-Based Data Collection in Wireless Sensor Networks
Abstract. We address the problem of designing practical, energy-efficient protocols for data collection in wireless sensor networks using predictive modeling. Prior work has sugges...
Lidan Wang, Amol Deshpande
DCC
2007
IEEE
16 years 3 months ago
Lifting of divisible designs
The aim of this paper is to present a construction of t-divisible designs for t > 3, because such divisible designs seem to be missing in the literature. To this end, tools suc...
Andrea Blunck, Hans Havlicek, Corrado Zanella
DCC
2004
IEEE
16 years 3 months ago
Source Coding With Distortion Side Information At The Encoder
Abstract: We consider lossy source coding when side information affecting the distortion measure may be available at the encoder, decoder, both, or neither. For example, such disto...
Emin Martinian, Gregory W. Wornell, Ram Zamir