An Action System Specification of the Caltech Asynchronous Microprocessor.
Ralph-Johan BackAlain J. MartinKaisa SerePublished in: MPC (1995)
Keyphrases
- object recognition
- image classification
- transition systems
- action language
- asynchronous circuits
- object detection
- visual object categorization
- state machines
- pedestrian detection
- bag of words
- discriminative power
- multi class
- high speed
- object categories
- human actions
- model checking
- design methodology
- state transition
- special purpose hardware
- formal verification
- computer vision
- ibm zenterprise
- visual features
- asynchronous communication
- image representation
- instruction set
- reasoning about actions
- specification language
- formal specification