Keyphrases
- multi dimensional
- sufficient conditions
- sequential pattern mining
- asymptotic stability
- stability analysis
- linear logic
- multiple dimensions
- data cube
- lyapunov function
- theorem prover
- range queries
- index structure
- natural deduction
- database systems
- logical rules
- database
- proof planning
- multi dimensional data
- theorem proving
- evolutionary algorithm
- high dimensional
- data analysis
- multiscale
- data sets