15 search results - page 2 / 3 » Hiding information inside structured shapes |
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
3DPVT
2002
IEEE
13 years 10 months ago
2002
IEEE
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
DSOM
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
— For a wide variety of sensor network environments, location information is unavailable or expensive to obtain. We propose a location-free, lightweight, distributed, and data-ce...
3DPVT
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper we advocate the use of a focal regionguided feature-based volume renderer that offers an alternative for visualization of internal structures of volumetric data. We ...