51 search results - page 6 / 11 » spin 2010 |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a posture invariant surface descriptor for triangular meshes. Using intrinsic geometry, the surface is first transformed into a representation that is independent of t...
IPMU
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we extend a methodology for constructing a frame of discernment from belief functions for one problem, into a methodology for constructing multiple frames of discernm...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— In this paper we propose a method of high-speed 3D object recognition using linear subspace method and our 3D features. This method can be applied to partial models with any si...
GG
2010
Springer
14 years 9 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...