875 search results - page 84 / 175 » Reasoning about Knowledge and Continuity |
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
ECCV
2004
Springer
15 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
15 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...
103
click to vote
EPIA
2003
Springer
15 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
15 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 ...