Sciweavers

14850 search results - page 291 / 2970
» A Geometric Approach to Betweenness
Sort
View
ETFA
2006
IEEE
15 years 10 months ago
Variable Pallet Pick-Up for Automatic Guided Vehicles in Industrial Environments
- This paper presents two laser scanner based approaches to locate and pick-up pallets with the aim of automating forklift trucks. In contrast to camera based systems our approache...
Daniel Lecking, Oliver Wulf, Bernardo Wagner
CVPR
2006
IEEE
16 years 8 months ago
3D Facial Expression Recognition Based on Primitive Surface Feature Distribution
The creation of facial range models by 3D imaging systems has led to extensive work on 3D face recognition [19]. However, little work has been done to study the usefulness of such...
Jun Wang, Lijun Yin, Xiaozhou Wei, Yi Sun
COMPGEOM
2005
ACM
15 years 8 months ago
Inequalities for the curvature of curves and surfaces
In this paper, we bound the difference between the total mean curvatures of two closed surfaces in R3 in terms of their total absolute curvatures and the Fr´echet distance betwee...
David Cohen-Steiner, Herbert Edelsbrunner
NLUCS
2008
15 years 8 months ago
The Role of Attention in Understanding Spatial Expressions under the Distractor Condition
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...
Tatsumi Kobayashi, Asuka Terai, Takenobu Tokunaga
ENTCS
2007
92views more  ENTCS 2007»
15 years 6 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer