2362 search results - page 278 / 473 » A new approach to edge detection |
103
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
DAC
1999
ACM
16 years 2 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
150
Voted
ASSETS
2006
ACM
15 years 7 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
143
click to vote
SI3D
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
127
click to vote
AFRIGRAPH
2007
ACM
15 years 5 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...