Sciweavers

546 search results - page 88 / 110
» Extended Null-Move Reductions
Sort
View
FOSSACS
2008
Springer
13 years 10 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
NIPS
2008
13 years 10 months ago
Bayesian Exponential Family PCA
Principal Components Analysis (PCA) has become established as one of the key tools for dimensionality reduction when dealing with real valued data. Approaches such as exponential ...
Shakir Mohamed, Katherine A. Heller, Zoubin Ghahra...
NIPS
2007
13 years 10 months ago
A general agnostic active learning algorithm
We present a simple, agnostic active learning algorithm that works for any hypothesis class of bounded VC dimension, and any data distribution. Our algorithm extends a scheme of C...
Sanjoy Dasgupta, Daniel Hsu, Claire Monteleoni
CSC
2006
13 years 10 months ago
Rapid Evaluation of Macromodel Response with the FDTD Method
Full wave electromagnetic simulation requires numerically expensive methods such as FDTD. The computation time depends superlinearly on the number of unknowns in the simulation reg...
Dmitry Gorodetsky, Philip Wilsey
UAI
2001
13 years 10 months ago
Policy Improvement for POMDPs Using Normalized Importance Sampling
We present a new method for estimating the expected return of a POMDP from experience. The estimator does not assume any knowledge of the POMDP, can estimate the returns for finit...
Christian R. Shelton