3765 search results - page 96 / 753 » Qualitative Action Systems |
161
click to vote
FROCOS
2009
Springer
15 years 8 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 ...
142
click to vote
BMVC
2010
15 years 2 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...
173
click to vote
KI
2010
Springer
14 years 10 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...
122
Voted
IEEEIAS
2009
IEEE
15 years 10 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...
110
click to vote
SEFM
2006
IEEE
15 years 10 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...