3765 search results - page 96 / 753 » Qualitative Action Systems |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
BMVC
2010
13 years 8 months ago
2010
In interest point based human action recognition, local descriptors are used to represent information in the neighbourhood around each extracted space-time interest point. The per...
KI
2010
Springer
13 years 4 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
IEEEIAS
2009
IEEE
14 years 4 months ago
2009
IEEE
: Web services over the Internet are widely used nowadays. The problem of secure access to Web-based systems is of great importance naturally. Compared with the existing models, th...
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...