Sign in
Real-time object detection, localization and verification for fast robotic depalletizing.
Dirk Holz
Angeliki Topalidou-Kyniazopoulou
Jörg Stückler
Sven Behnke
Published in:
IROS (2015)
Keyphrases
</>
model checking
robotic systems
mobile robot
real time
website
source localization
optic disc
localization algorithm
formal verification
signature verification
formal analysis
object localization
formal methods
face verification
multiscale
data mining
database