1993 search results - page 58 / 399 » On Action Theory Change |
59
Voted
JCT
2010
14 years 11 months ago
2010
We prove a collection of conjectures of D. White [37], as well as some related conjectures of Abuzzahab-Korson-Li-Meyer [1] and of Reiner and White [21], [37], regarding the cyclic...
95
Voted
UAI
1996
15 years 1 months ago
1996
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
CRV
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a template-based algorithm to track and recognize athlete’s actions in an integrated system using only visual information. Conventional template-based action...