Sciweavers

4620 search results - page 365 / 924
» Comparing Object Encodings
Sort
View
ECCV
2010
Springer
16 years 8 hour ago
Stacked Hierarchical Labeling
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...
ECCV
2010
Springer
15 years 12 months ago
Building Compact Local Pairwise Codebook with Joint Feature Space Clustering
Abstract. This paper presents a simple, yet effective method of building a codebook for pairs of spatially close SIFT descriptors. Integrating such codebook into the popular bag-o...
VR
2002
IEEE
149views Virtual Reality» more  VR 2002»
15 years 11 months ago
Tension Based 7-DOF Force Feedback Device: SPIDAR-G
In this paper, we intend to demonstrate a new intuitive force-feedback device for advanced VR applications. Force feedback for the device is tension based and is characterized by ...
Seahak Kim, Shoichi Hasegawa, Yasuharu Koike, Mako...
160
Voted
ESOP
2001
Springer
15 years 11 months ago
Proof-Directed De-compilation of Low-Level Code
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
Shin-ya Katsumata, Atsushi Ohori
MMMACNS
2001
Springer
15 years 11 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato