
- 1 Bohm, C. and G. Jacopini, Flow-diagrams, Turing machines, and languages with only two formation rules, Communications of the ACM, Vol. 9, No. 5 (May, 1966), pp. 366-371. Google Scholar
Digital Library
- 2 Belina, F. and D. Hogregfe, The CCITT-specification and description language SDL, Computer Networks and ISDN Systems, Vol. 16, (1988-89), pp. 311-341. Google Scholar
Digital Library
- 3 M. Conway, Design of a separable transition diagram compiler, Communications of the ACM, Vol. 6, No. 7 (July, 1963), pp. 396-408. Google Scholar
Digital Library
Index Terms
Problem specification with action machines
Recommendations
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00: Proceedings of the 8th International Conference on Algebraic Methodology and Software TechnologyAction semantics (AS) is a framework for specifying the semantics of programming languages, in a very modular and readable way. Recently, the operational semantics of action notation (action semantics's specification language) has been rewritten using ...
Human Action Recognition Based on Fuzzy Support Vector Machines
ISCID '12: Proceedings of the 2012 Fifth International Symposium on Computational Intelligence and Design - Volume 01As human action is uncertain and illegible, a human action recognition method basing on fuzzy support vector machine is presented. Fuzzy support vector machine employs the membership function to solve the unclassifiable areas which happens the ...
Relative Margin Support Tensor Machines for gait and action recognition
CIVR '10: Proceedings of the ACM International Conference on Image and Video RetrievalIn this paper, we formulate the Relative Margin Support Tensor Machines (RMSTMs) problem as an extension of the Relative Margin Machines (RMMs). While the typical Support Tensor Machines (STMs) find a solution that is greatly influenced by the data ...






Comments