Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Mahesh Varadarajan. Object Detection and Classification for Domestic Robots. In Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Volume 336 of Communications in Computer and Information Science, pages 106-120, Springer, 2011. [doi]
Abstract is missing.