Sciweavers

4284 search results - page 716 / 857
» Useful Computer Vision Techniques for Human-Robot Interactio...
Sort
View
ASPDAC
1995
ACM
116views Hardware» more  ASPDAC 1995»
15 years 9 months ago
A datapath synthesis system for the reconfigurable datapath architecture
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...
Reiner W. Hartenstein, Rainer Kress
TABLEAUX
1995
Springer
15 years 9 months ago
A Connection Based Proof Method for Intuitionistic Logic
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
Jens Otten
VISSYM
2004
15 years 6 months ago
TimeHistograms for Large, Time-Dependent Data
Histograms are a very useful tool for data analysis, because they show the distribution of values over a data dimension. Many data sets in engineering (like computational fluid dy...
Robert Kosara, Fabian Bendix, Helwig Hauser
CGF
2006
89views more  CGF 2006»
15 years 5 months ago
Sweep-based Freeform Deformations
We propose a sweep-based approach to the freeform deformation of three-dimensional objects. Instead of using a volume enclosing the whole object, we approximate only its deformabl...
Seung-Hyun Yoon, Myung-Soo Kim
CGF
2006
177views more  CGF 2006»
15 years 5 months ago
Direct (Re)Meshing for Efficient Surface Processing
We propose a novel surface remeshing algorithm. While many remeshing algorithms are based on global parametrization or local mesh optimization, our algorithm is closely related to...
John M. Schreiner, Carlos Eduardo Scheidegger, Sha...