Sciweavers

2167 search results - page 296 / 434
» Stochastic Process Algebras
Sort
View
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
15 years 1 months ago
Aggregation-based model reduction of a Hidden Markov Model
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...
Kun Deng, Prashant G. Mehta, Sean P. Meyn
CORR
2011
Springer
157views Education» more  CORR 2011»
15 years 1 months ago
Fast and Faster: A Comparison of Two Streamed Matrix Decomposition Algorithms
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
Radim Rehurek
TOG
2010
157views more  TOG 2010»
15 years 1 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
CISS
2011
IEEE
14 years 10 months ago
Improving aggregated forecasts of probability
—The Coherent Approximation Principle (CAP) is a method for aggregating forecasts of probability from a group of judges by enforcing coherence with minimal adjustment. This paper...
Guanchun Wang, Sanjeev R. Kulkarni, H. Vincent Poo...
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
16 years 18 days ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder