Sciweavers

8917 search results - page 1425 / 1784
» Abstraction in Algorithm Animation
Sort
View
FSTTCS
2009
Springer
15 years 11 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
ICB
2009
Springer
226views Biometrics» more  ICB 2009»
15 years 11 months ago
Accurate Palmprint Recognition Using Spatial Bags of Local Layered Descriptors
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...
Yufei Han, Tieniu Tan, Zhenan Sun
ICB
2009
Springer
137views Biometrics» more  ICB 2009»
15 years 11 months ago
Direct Pore Matching for Fingerprint Recognition
Abstract. Sweat pores on fingerprints have proven to be useful features for personal identification. Several methods have been proposed for pore matching. The state-of-the-art meth...
Qijun Zhao, Lei Zhang, David Zhang, Nan Luo
ICIAR
2009
Springer
15 years 11 months ago
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
Chen Liu, Fengxia Li, Yan Zhang, Haiyang Gu
ICVS
2009
Springer
15 years 11 months ago
Visual Registration Method for a Low Cost Robot
Abstract— An autonomous mobile robot must face the correspondence or data association problem in order to carry out tasks like place recognition or unknown environment mapping. I...
David Aldavert, Arnau Ramisa, Ricardo Toledo, Ramo...
« Prev « First page 1425 / 1784 Last » Next »