738 search results - page 142 / 148 » cases 2001 |
ICVS
2001
Springer
14 years 2 months ago
2001
Springer
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
IFIP
2001
Springer
14 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
IWDC
2001
Springer
14 years 2 months ago
2001
Springer
— In this paper we show that significant simplicity can be exploited for pricing-based control of large networks. We first consider a general loss network with Poisson arrivals...
LCTRTS
2001
Springer
14 years 2 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
MICCAI
2001
Springer
14 years 2 months ago
2001
Springer
— This paper presents a new method for creating a single panoramic image of a long bone from several individual fluoroscopic X-ray images. Panoramic images are useful preoperati...