738 search results - page 94 / 148 » cases 2001 |
SAFECOMP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
COLT
2001
Springer
15 years 2 months ago
2001
Springer
A class C of recursive functions is called robustly learnable in the sense I (where I is any success criterion of learning) if not only C itself but even all transformed classes Î...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
It is well known that wavelets provide good non-linear approximation of one-dimensional (1-D) piecewise smooth functions. However, it has been shown that the use of a basis with g...
141
click to vote
MICCAI
2001
Springer
15 years 2 months 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 ...
94
Voted
PAPM
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...