1063 search results - page 15 / 213 » Order and Negation as Failure |
HASE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a scalable, adaptive and timebounded general approach to assure reliable, real-time Node-Failure Detection (NFD) for large-scale, high load networks comprised ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
— The Extended Kalman Filter (EKF) has been the de facto approach to the Simultaneous Localization and Mapping (SLAM) problem for nearly fifteen years. However, the EKF has two ...
IJFCS
2006
13 years 9 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
AMC
2011
13 years 1 months ago
2011
We study regularity of mild and strong solutions for an abstract mathematical model of a flexible space structure under appropriate initial conditions. We apply our results showin...
NDJFL
1998
13 years 9 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...