Keyphrases
- matrix factorization
- kronecker product
- von neumann
- non rigid structure from motion
- machine learning
- boolean functions
- upper bound
- real time
- singular value decomposition
- neural network
- database
- data streams
- data structure
- uniform distribution
- genetic algorithm
- factorization method
- digital topology
- intuitionistic logic
- interactive theorem proving