2119 search results - page 170 / 424 » Structure-Preserving Model Reduction |
119
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
132
click to vote
NIPS
2004
15 years 4 months ago
2004
Statistical language models estimate the probability of a word occurring in a given context. The most common language models rely on a discrete enumeration of predictive contexts ...
123
click to vote
QUESTA
1998
15 years 3 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
131
Voted
DCC
2003
IEEE
16 years 2 months ago
2003
IEEE
3D models have become an essential element of multimedia applications because they provide visual effects that permit interactive exploration. As in other media types, efficient c...
124
click to vote
EMMCVPR
2001
Springer
15 years 7 months ago
2001
Springer
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...