17054 search results - page 269 / 3411 » Logics of Dynamical Systems |
171
click to vote
SFP
2003
15 years 8 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
203
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a thorough evaluation of grid map based sensor fusion algorithms for mapping the environment of a mobile robot. Three physical sensors were used for creating t...
200
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
217
click to vote
DASC
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
222
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...