635 search results - page 64 / 127 » Reasoning About Quantum Knowledge |
161
click to vote
ECCV
2004
Springer
15 years 11 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...
162
click to vote
KR
2004
Springer
15 years 11 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...
199
click to vote
EPIA
2003
Springer
15 years 11 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...
152
click to vote
IESS
2009
Springer
15 years 10 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 ...
169
click to vote
AUSAI
1997
Springer
15 years 10 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 ...