741 search results - page 21 / 149 » Testing in the year 2020 |
137
click to vote
EKAW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
109
click to vote
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
102
click to vote
CLEF
2010
Springer
15 years 2 months ago
2010
Springer
Over the past several years, our team has focused its efforts on improving retrieval precision performance by mixing visual and textual information. This year, we chose to explore ...
124
click to vote
TSE
2010
14 years 8 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
148
click to vote
GECCO
2011
Springer
14 years 4 months ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...