3946 search results - page 208 / 790 » The computational complexity of choice sets |
143
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
164
click to vote
DSN
2006
IEEE
16 years 21 days ago
2006
IEEE
We present three algorithms for detecting the need for software rejuvenation by monitoring the changing values of a customer-affecting performance metric, such as response time. A...
138
click to vote
ACIVS
2006
Springer
16 years 19 days ago
2006
Springer
Abstract. For nonseparable bidimensional wavelet transforms, the choice of the dilation matrix is all–important, since it governs the downsampling and upsampling steps, determine...
129
click to vote
GG
2004
Springer
16 years 22 hour ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
162
click to vote
IWCM
2004
Springer
16 years 7 hour ago
2004
Springer
Estimation of optical flow and physically motivated brightness changes can be formulated as parameter estimation in linear models. Accuracy of this estimation heavily depends on t...