Sciweavers

2302 search results - page 200 / 461
» Testing as Abstraction
Sort
View
ISVC
2007
Springer
16 years 23 days ago
Iterative Methods for Visualization of Implicit Surfaces On GPU
Abstract. The ray-casting of implicit surfaces on GPU has been explored in the last few years. However, until recently, they were restricted to second degree (quadrics). We present...
Rodrigo de Toledo, Bruno Lévy, Jean-Claude ...
MODELS
2007
Springer
16 years 22 days ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
PVM
2007
Springer
16 years 22 days ago
Extending the MPI-2 Generalized Request Interface
Abstract. The MPI-2 standard added a new feature to MPI called generalized requests. Generalized requests allow users to add new nonblocking operations to MPI while still using man...
Robert Latham, William Gropp, Robert B. Ross, Raje...
SCIA
2007
Springer
16 years 22 days ago
Pseudo-real Image Sequence Generator for Optical Flow Computations
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
Vladimír Ulman, Jan Hubený
TSD
2007
Springer
16 years 22 days ago
ECAF: Authoring Language for Embodied Conversational Agents
Abstract. Embodied Conversational Agent (ECA) is the user interface metaphor that allows to naturally communicate information during human-computer interaction in synergic modality...
Ladislav Kunc, Jan Kleindienst