3819 search results - page 461 / 764 » Predicting Dependability by Testing |
150
Voted
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
189
Voted
AVBPA
2005
Springer
15 years 11 months ago
2005
Springer
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
210
click to vote
AMTA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
170
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
186
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...