Result 1 to 10 from 10 total
Effects of answer weight boosting in strategy-driven question answering. (English)
Inf. Process. Manage. 48, No. 1, 83-93 (2012).
1
Segmentation strategy of handwritten connected digits (SSHCD). (English)
Maino, Giuseppe (ed.) et al., Image analysis and processing ‒ ICIAP 2011. 16th international conference, Ravenna, Italy, September 14‒16, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24087-4/pbk). Lecture Notes in Computer Science 6979, 248-254 (2011).
2
Reasoning about strategies. (English)
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15‒18, 2010, Chennai, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPICS ‒ Leibniz International Proceedings in Informatics 8, 133-144, electronic only (2010).
3
Optimizing feature complementarity by evolution strategy: application to automatic speaker verification. (English)
Speech Commun. 51, No. 9, 724-731 (2009).
4
Verifying timing constraints of real-time systems by means of evolutionary testing. (English)
Real-Time Syst. 15, No. 3, 275-298 (1998).
5
Verifying timing constraints of real-time systems by means of evolutionary testing. (English)
Real-Time Syst. 15, No. 3, 275-298 (1998).
6
Protocol Validation for Large-Scale Applications. (English)
IEEE Software 09, No.01, 23-26 (1992).
7
A Management Tool for Evaluation of Software Design. (English)
IEEE Transactions on Software Engineering 17, No.09, 961-971 (1991).
8
A Theorem Prover for Verifying Iterative Programs Over Integers. (English)
IEEE Transactions on Software Engineering 15, No.12, 1550-1566 (1989).
9
A theorem proving system for logic design verification. (English)
J. Inf. Process. 11, No.2, 92-104 (1988).
10
Result 1 to 10 from 10 total
Start
Contact
Print
General Help
