4211 search results - page 233 / 843 » A formal approach to MASQ |
113
click to vote
TCIAIG
2011
15 years 1 months ago
2011
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
163
click to vote
TSMC
2011
15 years 1 months ago
2011
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
201
click to vote
JMLR
2010
15 years 1 months ago
2010
We develop a Bayesian framework for supervised dimension reduction using a flexible nonparametric Bayesian mixture modeling approach. Our method retrieves the dimension reduction ...
166
click to vote
PVLDB
2010
15 years 1 months ago
2010
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...
226
click to vote
ICDCSW
2011
IEEE
14 years 6 months ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...