Reasoning about sequences of memory states.
Rémi BrocheninStéphane DemriÉtienne LozesPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- memory usage
- hidden markov models
- action sequences
- long sequences
- state information
- main memory
- memory requirements
- partial knowledge
- sequence alignment
- temporal sequences
- spatial reasoning
- random access
- computing power
- qualitative reasoning
- memory size
- initial state
- pseudorandom
- data mining
- low memory
- sequential data
- computational power
- variable length
- state variables
- associative memory
- information processing
- case study
- search engine
- genetic algorithm