Sciweavers

5945 search results - page 57 / 1189
» A Model for Projection and Action
Sort
View
CVPR
2008
IEEE
14 years 9 months ago
Human action recognition using Local Spatio-Temporal Discriminant Embedding
Human action video sequences can be considered as nonlinear dynamic shape manifolds in the space of image frames. In this paper, we address learning and classifying human actions ...
Kui Jia, Dit-Yan Yeung
DEON
2010
Springer
13 years 8 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
AAAI
1992
13 years 9 months ago
Concurrent Actions in the Situation Calculus
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
Fangzhen Lin, Yoav Shoham
APSEC
2007
IEEE
14 years 2 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
TARK
2007
Springer
14 years 1 months ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets