1298 search results - page 230 / 260 » Exploring second life |
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
INDOCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
Environmental information systems (EIS) have been in professional use for quite a long time. Applications of this domain often include features of quite common location based servi...
RAID
2004
Springer
14 years 1 months ago
2004
Springer
Worm detection systems have traditionally used global strategies and focused on scan rates. The noise associated with this approach requires statistical techniques and large data s...