We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
In this paper, we propose a novel shape representation we call Directional Histogram Model (DHM). It captures the shape variation of an object and is invariant to scaling and rigi...
Xinguo Liu, Robin Sun, Sing Bing Kang, Heung-Yeung...
Photometric invariance is a desired property for color image descriptors. It ensures that the description has a certain robustness with respect to scene incidental variations such...
An online feature evaluation method for visual
object tracking is put forward in this paper. Firstly, a
combined feature set is built using color histogram (HC)
bins and gradien...