In the Search of a Naive Type Theory.

Agnieszka Kozubek Pawel Urzyczyn

Published in: TYPES (2007)

Keyphrases

search algorithm
search space
search queries
search methods
general theory
theoretical framework
computational model
search efficiency
search procedure
information access
search strategy
neural network
expert systems
video sequences
objective function
decision making
genetic algorithm
data mining