Compiling techniques for first-order liner recurrences on a Vector computer.
Yoshikazu TanakaKyouko IwasawaShizuo GotouYukio UmetaniPublished in: SC (1988)
Keyphrases
- higher order
- first order logic
- computer systems
- computer controlled
- programming language
- decomposable negation normal form
- taylor series
- quantifier elimination
- sparse matrix
- machine intelligence
- computer technology
- data sets
- hidden markov models
- data model
- multi agent
- website
- computer vision
- learning algorithm
- information retrieval
- machine learning