3256 search results - page 605 / 652 » Applications of Formal Methods to System Design and Verifica... |
141
Voted
VRST
2000
ACM
15 years 8 months ago
2000
ACM
We present a novel approach to creating deformations of polygonal models using Radial Basis Functions (RBFs) to produce localized real-time deformations. Radial Basis Functions as...
105
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents an algorithm for rendering a static scene from multiple perspectives. While most current computer graphics algorithms render scenes as they appear from a singl...
110
click to vote
CCS
1994
ACM
15 years 8 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
144
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...
156
click to vote
IE
2007
15 years 6 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...