2119 search results - page 248 / 424 » Structure-Preserving Model Reduction |
155
Voted
ICCSA
2011
Springer
14 years 6 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
133
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
117
click to vote
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we present a robust method for estimating the model parameters in a mixture of probabilistic principal component analyzers. This method is based on the Stochastic v...
100
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...
155
click to vote
ISPASS
2009
IEEE
15 years 9 months ago
2009
IEEE
Trace-driven simulation of superscalar processors is particularly complicated. The dynamic nature of superscalar processors combined with the static nature of traces can lead to l...