Result 1 to 20 of 534 total
Measuring non-Gaussianity by Phi-transformed and fuzzy histograms. (English)
Adv. Artif. Neural Syst. 2012, Article ID 962105, 13 p. (2012).
1
Selection of spatiotemporal features in breast MRI to differentiate between malignant and benign small lesions using computer-aided diagnosis. (English)
Adv. Artif. Neural Syst. 2012, Article ID 919281, 8 p. (2012).
2
Is branch coverage a good measure of testing effectiveness? (English)
Meyer, Bertrand (ed.) et al., Empirical software engineering and verification. International summer schools, LASER 2008‒2010, Elba Island, Italy. Revised tutorial lectures. Berlin: Springer (ISBN 978-3-642-25230-3/pbk). Lecture Notes in Computer Science 7007, 194-212 (2012).
3
A formal reference for SCOOP. (English)
Meyer, Bertrand (ed.) et al., Empirical software engineering and verification. International summer schools, LASER 2008‒2010, Elba Island, Italy. Revised tutorial lectures. Berlin: Springer (ISBN 978-3-642-25230-3/pbk). Lecture Notes in Computer Science 7007, 89-157 (2012).
4
Empirical software engineering and verification. International summer schools, LASER 2008‒2010, Elba Island, Italy. Revised tutorial lectures. (English)
Lecture Notes in Computer Science 7007. Berlin: Springer (ISBN 978-3-642-25230-3/pbk). vii, 213~p. EUR~49.22 (2012).
5
Robustness of spectro-temporal features against intrinsic and extrinsic variations in automatic speech recognition. (English)
Speech Commun. 53, No. 5, 753-767 (2011).
6
Usable verification of object-oriented programs by combining static and dynamic techniques. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 382-398 (2011).
7
Software engineering techniques. Third IFIP TC 2 Central and East European conference, CEE-SET 2008, Brno, Czech Republic, October 13‒15, 2008. Revised selected papers. (English)
Lecture Notes in Computer Science 4980. Berlin: Springer (ISBN 978-3-642-22385-3/pbk). xi, 291~p. EUR~75.97 (2011).
8
Verifying eiffel programs with boogie. (English)
Comput. Res. Repos. 2011, Article No. 1106.4700 (2011).
9
Collaborative software development on the web. (English)
Comput. Res. Repos. 2011, Article No. 1105.0768 (2011).
10
Schema evolution for persistent object-oriented software: model, empirical study, and automated support. (English)
Comput. Res. Repos. 2011, Article No. 1103.0711 (2011).
11
Evidence-based automated program fixing. (English)
Comput. Res. Repos. 2011, Article No. 1102.1059 (2011).
12
A comprehensive operational semantics of the SCOOP programming model. (English)
Comput. Res. Repos. 2011, Article No. 1101.1038 (2011).
13
Accelerating reaction-diffusion simulations with general-purpose graphics processing units. (English)
Bioinformatics 27, No. 2, 288-290 (2011).
14
On the number and nature of faults found by random testing. (English)
Softw. Test., Verif. Reliab. 21, No. 1, 3-28 (2011).
15
Robustness of spectro-temporal features against intrinsic and extrinsic variations in automatic speech recognition (English)
Speech Communication 53, No. 5, 753-767 (2011).
16
Car sequencing with constraint-based ACO (English)
GECCO, 163-170 (2011).
17
FPGA-based acceleration of block matching motion estimation techniques (English)
FPL, 389-392 (2011).
18
Usable verification of object-oriented programs by combining static and dynamic techniques (English)
SEFM, 382-398 (2011).
19
Code-based automated program fixing (English)
ASE, 392-395 (2011).
20
Result 1 to 20 of 534 total
Start
Contact
Print
General Help
