Sciweavers

660 search results - page 22 / 132
» The EMF Model Transformation Framework
Sort
View
ICML
2003
IEEE
16 years 17 days ago
Relativized Options: Choosing the Right Transformation
Relativized options combine model minimization methods and a hierarchical reinforcement learning framework to derive compact reduced representations of a related family of tasks. ...
Balaraman Ravindran, Andrew G. Barto
FCS
2006
15 years 1 months ago
Formal Representation and Transformation of DTDs to Sem-ODM Semantic Schemas
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
Li Yang, Naphtali Rishe
VMCAI
2010
Springer
15 years 9 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang
IEEEPACT
2009
IEEE
15 years 6 months ago
Polyhedral-Model Guided Loop-Nest Auto-Vectorization
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Aya...
ICCV
2007
IEEE
16 years 1 months ago
Lung Nodule Growth Analysis from 3D CT Data with a Coupled Segmentation and Registration Framework
In this paper we propose a new framework to simultaneously segment and register lung and tumor in serial CT data. Our method assumes nonrigid transformation on lung deformation an...
Yuanjie Zheng, Karl Steiner, Thomas Bauer, Jingyi ...