5378 search results - page 247 / 1076 » Base Logics in Argumentation |
188
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
157
Voted
DAGSTUHL
2010
15 years 8 months ago
2010
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
159
click to vote
ADT
2008
15 years 6 months ago
2008
By range-free localization, the positions of a mobile device can be limited to the coverage area of a radio access network cell. The drawback of such approach is the coarseness of ...
162
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...
175
click to vote
ICTAC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...