Login / Signup
Partial Objects In Constructive Type Theory
Robert L. Constable
Scott F. Smith
Published in:
LICS (1987)
Keyphrases
</>
multiple types
moving objects
neural network
d objects
real time
database
viewpoint
computational model
object model
general theory
object models
complex scenes
bounding box
spatio temporal
video sequences
multi agent
search engine
databases