Login / Signup
Runtime Monitoring of Object Invariants with Guarantee.
Madhu Gopinathan
Sriram K. Rajamani
Published in:
RV (2008)
Keyphrases
</>
monitoring system
real time
d objects
object tracking
complex objects
object model
moving objects
invariant representation
neural network
object recognition
keypoints
data objects
object classes
invariant features