1568 search results - page 152 / 314 » Fusions of Description Logics |
105
Voted
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
101
Voted
ICB
2009
Springer
15 years 4 months ago
2009
Springer
Local Binary Pattern (LBP) histograms have attained much attention in face image analysis. They have been successfully used in face detection, recognition, verification, facial ex...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper introduces a localization based on GPS and laser measurements for urban and non-urban outdoor environments. In this approach, the GPS pose is Kalman filtered using w...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper, we study the accuracy of Cooperative Localization and Target Tracking (CLATT) in a team of mobile robots, and derive analytical upper bounds for the posi...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...