1810 search results - page 197 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
151
click to vote
CAIP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a framework for fast and automated initialization of segmentation algorithms in Computed Tomography images. Based on the idea that time-consuming voxel classiï...
163
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a framework for vision-assisted tagging of personal photo collections using context. Whereas previous efforts mainly focus on tagging people, we develop a uni...
199
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
179
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Becoming proï¬cient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...
154
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract—Buffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have ...