Login / Signup
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code.
N. Shaukat
Sana Shuja
Sudarshan K. Srinivasan
Shaista Jabeen
Published in:
Sci. Program. (2020)
Keyphrases
</>
d objects
complex objects
neural network
object model
spatial relations
lighting conditions
static analysis
database
partial occlusion
object tracking
keypoints
higher level
particle filter
source code
computational complexity
video sequences
image sequences
three dimensional