Sciweavers

379 search results - page 23 / 76
» A Generative Approach to Change-Driven Consistency in Multi-...
Sort
View
JMLR
2012
13 years 1 months ago
Noise-Contrastive Estimation of Unnormalized Statistical Models, with Applications to Natural Image Statistics
We consider the task of estimating, from observed data, a probabilistic model that is parameterized by a finite number of parameters. In particular, we are considering the situat...
Michael Gutmann, Aapo Hyvärinen
APSCC
2009
IEEE
15 years 5 months ago
MORSE: A Model-Aware Service Environment
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
Ta'id Holmes, Uwe Zdun, Schahram Dustdar
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 11 days ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
IJCV
2008
167views more  IJCV 2008»
14 years 10 months ago
Learning Layered Motion Segmentations of Video
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
DEBS
2010
ACM
15 years 2 months ago
An event view model and DSL for engineering an event-based SOA monitoring infrastructure
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
Emmanuel Mulo, Uwe Zdun, Schahram Dustdar