A Linear-Time Algorithm for Determining the Intersection Type of Two Star Polygons.

Subir Kumar Ghosh

Published in: FSTTCS (1984)

Keyphrases

machine learning
information retrieval
decision making
multimedia
case study
high level
multiscale
multi agent
probabilistic model
type checking