Sciweavers

141 search results - page 3 / 29
» The KITE geometry manipulator
Sort
View
IJCAI
1989
13 years 8 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
ICRA
1998
IEEE
86views Robotics» more  ICRA 1998»
13 years 12 months ago
Kinematic Manipulability of General Constrained Rigid Multibody Systems
This paper extends the kinematic manipulability concept commonly used for serial manipulators to general constrained rigid multibody systems. Examples of such systems include multi...
John T. Wen, Lee S. Wilfinger
CHI
1995
ACM
13 years 11 months ago
A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies
We present a new focus+context (fisheye) technique for visualizing and manipulating large hierarchies. Our technique assigns more display space to a portion of the hierarchy whil...
John Lamping, Ramana Rao, Peter Pirolli
IROS
2006
IEEE
149views Robotics» more  IROS 2006»
14 years 1 months ago
Tactile Measurement of Local Contact Geometry Using Soft Fingertip with Force/Torque Sensor
— We propose a new method of tactile sensing for a fingertip of robotic hand based on the analysis of the mechanical constraints imposed to the contact between the fingertip an...
Kouji Murakami, Tsutomu Hasegawa
CGF
2011
12 years 11 months ago
Interactive Modeling of City Layouts using Layers of Procedural Content
In this paper, we present new solutions for the interactive modeling of city layouts that combine the power of procedural modeling with the flexibility of manual modeling. Proced...
Markus Lipp, Daniel Scherzer, Peter Wonka, Michael...