2119 search results - page 118 / 424 » Structure-Preserving Model Reduction |
109
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—We investigate the benefits of distributed storage using erasure codes for file sharing in vehicular networks through realistic trace-based simulations. We find that coding o...
102
click to vote
COLING
2000
15 years 4 months ago
2000
We present a new statistical language model based on a Colnbination of individual word language models. Each word model is built from an individual corpus which is formed by extra...
134
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
109
click to vote
IMAGING
2004
15 years 4 months ago
2004
In this study, the problem of updating a printer characterization in response to systematic changes in print-device characteristics is addressed with two distinct approaches: the ...
107
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...