Low dimensional hybrid systems - decidable, undecidable, don't know.
Eugene AsarinVenkatesh MysoreAmir PnueliGerardo SchneiderPublished in: Inf. Comput. (2012)
Keyphrases
- hybrid systems
- low dimensional
- datalog programs
- high dimensional
- query containment
- neural network
- intelligent systems
- meta learning
- black box
- dimensionality reduction
- computational intelligence
- soft computing
- artificial intelligence
- principal component analysis
- data points
- conjunctive queries
- np complete
- discrete event
- first order logic
- expert systems
- feature space
- integrity constraints
- simulation model
- complex systems
- search problems
- pattern recognition
- machine learning