Sciweavers

3619 search results - page 640 / 724
» Humor modeling in the interface
Sort
View
CGI
2000
IEEE
15 years 8 months ago
Local and Global Geometric Methods for Analysis Interrogation, Reconstruction, Modification and Design of Shape
This paper gives an overview of some recent methods useful for local and global shape analysis and for the design of solids. These methods include as new tools for global and loca...
Franz-Erich Wolter, K.-I. Friese
FMCAD
2000
Springer
15 years 8 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
GIS
2000
ACM
15 years 8 months ago
The NASA Digital Earth Testbed
The goal of Digital Earth (www.digitalearth.gov) is to create a virtual representation of our planet that enables a person to explore and interact with the vast amounts of natural...
Jeff de La Beaujardière, Horace Mitchell, R...
EPIA
1995
Springer
15 years 8 months ago
Using Stochastic Grammars to Learn Robotic Tasks
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
Pedro U. Lima, George N. Saridis
VISUALIZATION
1995
IEEE
15 years 8 months ago
Virtual GIS: A Real-Time 3D Geographic Information System
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
David Koller, Peter Lindstrom, William Ribarsky, L...