On axiomatising products of Kripke frames, part II.
Agi KuruczPublished in: Advances in Modal Logic (2008)
Keyphrases
- desirable properties
- inference rules
- video frames
- single frame
- temporal logic
- real time
- frame rate
- model checking
- artificial intelligence
- data sets
- long tail
- modal logic
- moving objects
- real world
- data mining
- market segments
- commercial products
- product information
- database
- multi frame
- point correspondences
- decision trees
- multiscale
- visual features
- collaborative filtering