11484 search results - page 637 / 2297 » Modeling in the Large and Modeling in the Small |
231
click to vote
FMCO
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
209
click to vote
NLPRS
2001
Springer
15 years 12 months ago
2001
Springer
We describe a simple improvement to ngram language models where we estimate the distribution over closed-class (function) words separately from the conditional distribution of ope...
172
click to vote
PKDD
2001
Springer
15 years 12 months ago
2001
Springer
Large amount of available information does not necessarily imply that induction algorithms must use all this information. Samples often provide the same accuracy with less computat...
197
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
222
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...