882 search results - page 43 / 177 » Application portals: practice and experience |
VISSYM
2004
13 years 9 months ago
2004
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Multibody grouping is a representative of applying subspace constraints in computer vision tasks. Under linear projection models, feature points of multibody reside in multiple su...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents a set of comprehensive techniques for the intratask voltage scheduling problem to reduce energy consumption in hard real-time tasks of embedded systems. Based ...