Sciweavers

5945 search results - page 103 / 1189
» A Model for Projection and Action
Sort
View
ETRICS
2006
15 years 10 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
VLSID
2000
IEEE
121views VLSI» more  VLSID 2000»
15 years 10 months ago
Design of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
Juha Plosila, Tiberiu Seceleanu
AAAI
2008
15 years 8 months ago
Efficient Learning of Action Schemas and Web-Service Descriptions
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...
Thomas J. Walsh, Michael L. Littman
ICPR
2008
IEEE
16 years 7 months ago
3D Shape Context and Distance Transform for action recognition
We propose the use of 3D (2D+time) Shape Context to recognize the spatial and temporal details inherent in human actions. We represent an action in a video sequence by a 3D point ...
Franziska Meier, Irfan A. Essa, Matthias Grundmann
IBPRIA
2007
Springer
16 years 17 days ago
HMM-Based Action Recognition Using Contour Histograms
This paper describes an experimental study about a robust contour feature (shape-context) for using in action recognition based on continuous hidden Markov models (HMM). We ran dif...
Maria Ángeles Mendoza, Nicolas Pérez...