Sciweavers

1438 search results - page 175 / 288
» Visualizing Gyrokinetic Simulations
Sort
View
ENTCS
2008
88views more  ENTCS 2008»
13 years 8 months ago
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
Claudia Ermel, Hartmut Ehrig
JCNS
2000
165views more  JCNS 2000»
13 years 8 months ago
A Population Density Approach That Facilitates Large-Scale Modeling of Neural Networks: Analysis and an Application to Orientati
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
Duane Q. Nykamp, Daniel Tranchina
ECCV
2000
Springer
14 years 10 months ago
Egomotion Estimation Using Quadruples of Collinear Image Points
This paper considers a fundamental problem in visual motion perception, namely the problem of egomotion estimation based on visual input. Many of the existing techniques for solvin...
Manolis I. A. Lourakis
VIS
2009
IEEE
216views Visualization» more  VIS 2009»
14 years 9 months ago
Volume Ray Casting with Peak Finding and Differential Sampling
Direct volume rendering and isosurfacing are ubiquitous rendering techniques in scientific visualization, commonly employed in imaging 3D data from simulation and scan sources. Con...
Aaron Knoll, Younis Hijazi, Rolf Westerteiger, ...
CAV
2009
Springer
157views Hardware» more  CAV 2009»
14 years 8 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...