2302 search results - page 338 / 461 » Testing as Abstraction |
142
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
147
click to vote
ISHPC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
158
click to vote
MICCAI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
172
click to vote
ICIP
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...
178
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...