Sciweavers

586 search results - page 16 / 118
» Comparing Three Computational Models of Affect
Sort
View
PAMI
2002
177views more  PAMI 2002»
14 years 10 months ago
Adjusting Shape Parameters Using Model-Based Optical Flow Residuals
We present a method for estimating the shape of a deformable model using the least-squares residuals from a model-based optical flow computation. This method is built on top of an...
Douglas DeCarlo, Dimitris N. Metaxas
WSC
2008
15 years 1 months ago
Modeling of air traffic arrival operations through agent-based simulation
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
Sanjiv Shresta, Ralf H. Mayer
EGH
2005
Springer
15 years 4 months ago
Split-plane shadow volumes
We present a novel method for rendering shadow volumes. The core idea of the method is to locally choose between Z-pass and Z-fail algorithms on a per-tile basis. The choice is ma...
Samuli Laine
FORTE
2010
15 years 15 days ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
TOG
2008
106views more  TOG 2008»
14 years 11 months ago
Fast modal sounds with scalable frequency-domain synthesis
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...
Nicolas Bonneel, George Drettakis, Nicolas Tsingos...