Login / Signup
Flow-sensitive type systems and the ambient calculus.
Torben Amtoft
Published in:
High. Order Symb. Comput. (2008)
Keyphrases
</>
computer vision
computer systems
learning systems
complex systems
database
real time
databases
knowledge base
decision trees
data structure
video sequences
knowledge based systems
building blocks
ambient intelligence
retrieval systems