8828 search results - page 1277 / 1766 » Formal methods in practice |
199
click to vote
ISSRE
2002
IEEE
16 years 2 days ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
173
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
The problem of cosegmentation consists of segmenting the same object (or objects of the same class) in two or more distinct images. Recently a number of different models have been...
179
click to vote
CHI
2009
ACM
15 years 12 months ago
2009
ACM
An intriguing anomaly of the usual way of designing Fitts’ law experiments in experimental psychology and HCI is exposed: experiments are traditionally designed so as to careful...
167
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Solid State Drive (SSD), emerging as new data storage media with high random read speed, has been widely used in laptops, desktops, and data servers to replace hard disk during th...
204
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...