3169 search results - page 519 / 634 » Robust Timed Automata |
MICCAI
2001
Springer
14 years 7 days ago
2001
Springer
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
MICCAI
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...
SSD
2001
Springer
14 years 7 days ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
FGR
2000
IEEE
14 years 6 days ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
ICMCS
2000
IEEE
14 years 6 days ago
2000
IEEE
The growth of computer networks has boosted the growth of the information technology sector to a greater extent. There is a trend to move from conventional libraries to digital li...