635 search results - page 64 / 127 » Reasoning About Quantum Knowledge |
ECCV
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
KR
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
EPIA
2003
Springer
14 years 3 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
IESS
2009
Springer
14 years 2 months ago
2009
Springer
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
AUSAI
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...