1533 search results - page 180 / 307 » Semantic Matching: Algorithms and Implementation |
101
click to vote
GMP
2002
IEEE
15 years 7 months ago
2002
IEEE
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...
119
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a vision-based tracking system suitable for autonomous robot vehicle guidance. The system includes a head with three on-board CCD cameras, which can be mounted...
114
click to vote
NOSSDAV
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We introduce the concept of Dynamic Rate Shaping, a technique to adapt the rate ofcompressed video bitstreams MPEG-1, MPEG2, H.261, as well as JPEG to dynamically varyi...
121
click to vote
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
136
click to vote
FORTE
2010
15 years 4 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...