3765 search results - page 57 / 753 » Qualitative Action Systems |
SSS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Transformations from shared memory model to wireless sensor networks (WSNs) quickly become inefficient in the presence of prevalent message losses in WSNs, and this prohi...
DLOG
2010
13 years 6 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
EVENT
2001
13 years 10 months ago
2001
Automatically understanding human actions from video sequences is a very challenging problem. This involves the extraction of relevant visual information from a video sequence, re...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
DEON
2010
Springer
13 years 9 months ago
2010
Springer
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...