Sciweavers

3053 search results - page 310 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
EGPGV
2011
Springer
366views Visualization» more  EGPGV 2011»
14 years 7 months ago
GPU Algorithms for Diamond-based Multiresolution Terrain Processing
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
M. Adil Yalçin, Kenneth Weiss, Leila De Flo...
ICSE
2008
IEEE-ACM
16 years 5 months ago
Tool support for the navigation in graphical models
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, C...
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 11 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
GG
2010
Springer
15 years 2 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
174
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Clustering of bootstrapped acoustic model with full covariance
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...
Xin Chen, Xiaodong Cui, Jian Xue, Peder Olsen, Joh...