2940 search results - page 546 / 588 » Relational Parametricity and Control |
IPMI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...
ISRR
2005
Springer
15 years 3 months ago
2005
Springer
An open problem in Simultaneous Localization and Mapping (SLAM) is the development of algorithms which scale with the size of the environment. A few promising methods exploit the ...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...