Sciweavers

8928 search results - page 546 / 1786
» Modeling Current Events
Sort
View
ICML
2007
IEEE
16 years 8 months ago
Multifactor Gaussian process models for style-content separation
We introduce models for density estimation with multiple, hidden, continuous factors. In particular, we propose a generalization of multilinear models using nonlinear basis functi...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
QEST
2009
IEEE
16 years 1 months ago
The Ins and Outs of the Probabilistic Model Checker MRMC
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz...
VL
2007
IEEE
108views Visual Languages» more  VL 2007»
16 years 1 months ago
A PROLOG-based Approach to Representing and Querying Software Engineering Models
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
Harald Störrle
MODELS
2007
Springer
16 years 1 months ago
Matching Model-Snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
Rodrigo Ramos, Olivier Barais, Jean-Marc Jé...
ICCS
2003
Springer
16 years 9 days ago
A Compiler Approach to Performance Prediction Using Empirical-Based Modeling
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
Pedro C. Diniz