4502 search results - page 227 / 901 » Regular Model Checking |
186
click to vote
ECIR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Traditional retrieval models assume that query terms are independent and rank documents primarily based on various term weighting strategies including TF-IDF and document...
196
click to vote
NIPS
1998
15 years 7 months ago
1998
This paper introduces a method for regularization of HMM systems that avoids parameter overfitting caused by insufficient training data. Regularization is done by augmenting the E...
154
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Noise is inevitably introduced during model based parametrization of acoustic fields, acquired using microphone arrays. This is due to the finite number of microphones used, the f...
168
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
Jim Propp's rotor router model is a deterministic analogue of a random walk on a graph. Instead of distributing chips randomly, each vertex serves its neighbors in a fixed or...
177
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...