6800 search results - page 677 / 1360 » Testing with Functions as Specifications |
219
click to vote
TEC
2008
15 years 6 months ago
2008
In this paper, we propose an evolutionary approach to the design of output codes for multiclass pattern recognition problems. This approach has the advantage of taking into account...
189
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--The second round of the NIST-run public competition is underway to find a new hash algorithm(s) for inclusion in the NIST Secure Hash Standard (SHA-3). This paper present...
209
click to vote
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
235
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper discusses our experience in building SPIRE, an autonomic system for service provision. The architecture consists of a set of hosted Web Services subject to QoS constrain...
222
click to vote
TCSV
2011
15 years 2 months ago
2011
In this paper, we explore the impact of frame rate and quantization on perceptual quality of a video. We propose to use the product of a spatial quality factor that assesses the q...