Checking modes of HAL programs.

Maria J. García de la Banda Warwick Harvey Kim Marriott Peter J. Stuckey Bart Demoen

Published in: Theory Pract. Log. Program. (2005)

Keyphrases

computer programs
database
data sets
databases
program execution
information retrieval
search engine
feature selection
image sequences
face recognition