Sciweavers

908 search results - page 96 / 182
» Interactive regret minimization
Sort
View
150
Voted
SIGGRAPH
2000
ACM
15 years 10 months ago
Spectral compression of mesh geometry
We show how spectral methods may be applied to 3D mesh data to obtain compact representations. This is achieved by projecting the mesh geometry onto an orthonormal basis derived f...
Zachi Karni, Craig Gotsman
175
Voted
CADE
2000
Springer
15 years 10 months ago
Automated Proof Construction in Type Theory Using Resolution
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
Marc Bezem, Dimitri Hendriks, Hans de Nivelle
ACSD
1998
IEEE
113views Hardware» more  ACSD 1998»
15 years 10 months ago
Modeling and Analyzing Interorganizational Workflows
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
Wil M. P. van der Aalst
151
Voted
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
15 years 10 months ago
Vibration Feedback Models for Virtual Environments
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
Allison M. Okamura, Stanford Dennerlein, Robert D....
HT
1998
ACM
15 years 9 months ago
MAPA: A System for Inducing and Visualizing Hierarchy in Websites
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
David G. Durand, Paul Kahn