7960 search results - page 1304 / 1592 » Systems for Knowledge and Beliefs |
157
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a VIrtual Scanning Algorithm (VISA), tailored and optimized for road network surveillance. Our design uniquely leverages upon the facts that (i) the movement...
152
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...
168
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years, there is an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the context of information and knowledge...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...