940 search results - page 121 / 188 » Local rely-guarantee reasoning |
122
click to vote
CGF
2006
15 years 25 days ago
2006
We propose a new technique for quad-dominant remeshing which separates the local regularity requirements from the global alignment requirements by working in two steps. In the fir...
104
click to vote
ENTCS
2006
15 years 24 days ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
109
Voted
JCIT
2008
15 years 23 days ago
2008
Firewall is a useful technique that ensures network security. Firewall examines network packets and determines whether to accept or deny them based on an ordered set of filters. I...
97
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Ink-bleed interference is a serious problem that affects the legibility of old documents. Ink-bleed can be reduced reasonably well using pixel classification based on user supplie...
88
Voted
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
The Bounded Hough Transform is introduced to track objects in a sequence of sparse range images. The method is based upon a variation of the General Hough Transform that exploits ...