Sciweavers

4966 search results - page 22 / 994
» its 2010
Sort
View
COMSIS
2010
14 years 9 months ago
An extended photometric stereo algorithm for recovering specular object shape and its reflectance properties
In Photometric stereo, the existence of specularities hampers to recover the normal map. To deal with this common reflective phenomenon, we introduce a novel representation for spe...
Zuoyong Zheng, Lizhuang Ma, Zhong Li, Zhihua Chen
FOSSACS
2010
Springer
15 years 6 months ago
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
Andrei Popescu, Elsa L. Gunter
DASFAA
2010
IEEE
168views Database» more  DASFAA 2010»
15 years 1 months ago
A Large Scale Key-Value Store Based on Range-Key Skip Graph and Its Applications
An overlay network called Range-key Skip Graph (RKSG) has been proposed that can perform range-to-range search on peer-topeer network. In this paper, we propose a large scale key-v...
Susumu Takeuchi, Jun Shinomiya, Toru Shiraki, Yosh...
ICPR
2010
IEEE
15 years 13 days ago
Hyper Least Squares and Its Applications
We present a new form of least squares (LS), called “hyperLS”, for geometric problems that frequently appear in computer vision applications. Doing rigorous error analysis, we...
Prasanna Rangarajan, Kenichi Kanatani, Hirotaka Ni...
CORR
2010
Springer
45views Education» more  CORR 2010»
15 years 11 days ago
Solution to the Counterfeit Coin Problem and its Generalization
: This work deals with a classic problem: "Given a set of coins among which there is a counterfeit coin of a different weight, find this counterfeit coin using ordinary balanc...
Juan Dominguez-Montes