1993 search results - page 43 / 399 » On Action Theory Change |
81
Voted
CAV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
139
click to vote
SCP
1998
14 years 12 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
89
Voted
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Novelty detection is concerned with identifying abnormal system behaviours and abrupt changes from one regime to another. This paper proposes an on-line (causal) novelty detection...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Recognizing a person’s motion is intuitive for humans but represents a challenging problem in machine vision. In this paper, we present a multi-disciplinary framework for recogn...