1548 search results - page 54 / 310 » Statistical Modelling of CSP Solving Algorithms Performance |
JSS
2008
13 years 8 months ago
2008
Effective prediction of defectprone software modules can enable software developers to focus quality assurance activities and allocate effort and resources more efficiently. Supp...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, a multi-agent based evolutionary algorithm (MAEA) is introduced to solve dynamic optimization problems. The agents simulate living organism features and co-evolv...
CHARME
1997
Springer
14 years 14 days ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
DSP
2008
13 years 7 months ago
2008
In this paper we present a methodical evaluation of the performance of a new and two traditional approaches to automatic target recognition (ATR) based on silhouette representatio...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Ultra-Wideband (UWB) Geo-Regioning is an approach to localize UWB transmitters by means of their channel impulse responses. A received channel impulse response is assig...