Sciweavers

1588 search results - page 83 / 318
» Modular action language
Sort
View
CAISE
2001
Springer
15 years 8 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
15 years 1 months ago
Sampling-Based Motion and Symbolic Action Planning with geometric and differential constraints
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
Erion Plaku, Gregory D. Hager
138
Voted
FGR
2011
IEEE
201views Biometrics» more  FGR 2011»
14 years 6 months ago
Tangent bundle for human action recognition
— Common human actions are instantly recognizable by people and increasingly machines need to understand this language if they are to engage smoothly with people. Here we introdu...
Yui Man Lui, J. Ross Beveridge
SACMAT
2006
ACM
15 years 9 months ago
Towards reasonability properties for access-control policy languages
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
Michael Carl Tschantz, Shriram Krishnamurthi
126
Voted
ATAL
2007
Springer
15 years 9 months ago
Automatic annotation of team actions in observations of embodied agents
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
Linus J. Luotsinen, Hans Fernlund, Ladislau Bö...