The Sierpinski Object in the Scott Realizability Topos.

Tom de Jong Jaap van Oosten

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

d objects
data objects
complex objects
spatial relations
moving objects
object tracking
lighting conditions
target object
deformable objects
artificial intelligence
object model
multiple objects
background clutter