Sign in
From Search to Computation: Redundancy Criteria and Simplification at Work.
Thomas Hillenbrand
Ruzica Piskac
Uwe Waldmann
Christoph Weidenbach
Published in:
Programming Logics (2013)
Keyphrases
</>
search efficiency
multiresolution
neural network
search algorithm
search strategies
machine learning
evaluation criteria
data sets
search strategy
databases
search procedure
search queries
solution space
similarity search
decision makers
computational complexity
image sequences
case study
metadata