1636 search results - page 176 / 328 » Reasoning About Quantum Systems |
155
click to vote
COMPSAC
2007
IEEE
16 years 22 days ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
171
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
162
click to vote
FROCOS
2007
Springer
16 years 16 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
164
click to vote
IJCNN
2006
IEEE
16 years 12 days ago
2006
IEEE
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...
151
click to vote
CSFW
2005
IEEE
16 years 9 hour ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...