908 search results - page 18 / 182 » Interactive regret minimization |
111
Voted
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
121
Voted
ISBI
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...
138
Voted
VIS
2008
IEEE
16 years 3 months ago
2008
IEEE
The need to examine and manipulate large surface models is commonly found in many science, engineering, and medical applications. On a desktop monitor, however, seeing the whole mo...
125
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
123
click to vote
ECCV
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a new method to find minimal paths in 3D images, giving as initial data one or two endpoints. This is based on previous work [1] for extracting paths in 2D ima...