511 search results - page 80 / 103 » More Precise Partition Abstractions |
124
Voted
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...
148
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Fisher kernel (FK) is a generic framework which combines the benefits of generative and discriminative approaches. In the context of image classification the FK was s...
136
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
138
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...