TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
abnormal behavior detection | |
Actor Prolog | |
anomalous human activity | |
applications | |
C | |
complex events recognition | |
computer vision | |
concurrent logic programming | |
Constraint Logic Programming | |
Constraints | |
CSP | |
D | |
declarative modeling | |
Definition evaluation | |
Definition refining | |
dependently typed lambda calculus | |
dict | |
E | |
embedding | |
F | |
Finite Domain Solver | |
functional notation | |
G | |
Global Constraints | |
I | |
IDP3 | |
Implementation | |
indexing | |
Integration | |
intelligent visual surveillance | |
L | |
linear logic | |
linear logic programming | |
logic programming | |
O | |
object-oriented logic programming | |
optimization | |
P | |
parallel programming | |
Portability | |
Prolog | |
Prolog to Java translation | |
R | |
Rational Terms | |
Refining partial structures | |
S | |
SAT | |
simply typed lambda calculus | |
string | |
T | |
technical vision | |
teyjus system | |
twelf | |
V | |
virtual machine |