2527 search results - page 160 / 506 » A UML-Based Approach to System Testing |
132
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
114
Voted
ISMIS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
101
click to vote
PICS
2003
15 years 5 months ago
2003
This study examines the prediction of print defect perception (banding) of the human visual system (HVS) by combining detection probabilities of contrast components from wavelet a...
167
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many multi-robot systems are heterogeneous cooperative systems, systems consisting of different species of robots cooperating with each other to achieve a common goal. T...
164
click to vote
IANDC
2006
15 years 4 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...