4126 search results - page 62 / 826 » Relationships with other Formalisms |
138
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
176
click to vote
JAIR
2008
15 years 6 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
160
click to vote
PDSE
2000
15 years 7 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
132
click to vote
FOIS
2010
15 years 7 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
140
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
I n this paper, we investigate the problem of stabilization, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence. A multifract...