7075 search results - page 1168 / 1415 » Models and heterogeneous reasoning |
159
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
172
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
157
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
153
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
168
click to vote
ICIAR
2005
Springer
16 years 7 days ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...