4343 search results - page 773 / 869 » Segmentation from a Box |
APVIS
2004
13 years 10 months ago
2004
Resection or ablation of tumours is one treatment available for liver cancer. This delicate operation consists of removing the tumour(s) and surrounding healthy tissues. The surge...
FORTE
2004
13 years 10 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
ALENEX
2001
13 years 10 months ago
2001
The purpose of this paper is to provide a preliminary report on the rst broad-based experimental comparison of modern heuristics for the asymmetric traveling salesmen problem ATSP....
SPIESR
2001
13 years 10 months ago
2001
There are a number of shots in a video, each of which has boundary types, such as cut, fade, dissolve and wipe. Many previous approaches can find the cut boundary without difficul...
AAAI
2000
13 years 10 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...