Login / Signup
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver.
Oszkár Semeráth
Ákos Horváth
Dániel Varró
Published in:
MoDELS (2013)
Keyphrases
</>
feature space
query language
geometric constraints
feature set
directed graph
random walk
database queries
graph theory
query evaluation
structured data
co occurrence
data sources
feature extraction
range queries
information retrieval
constraint programming
web search