23 search results - page 2 / 5 » Towards Higher-Order DL-Lite |
CSL
2009
Springer
13 years 12 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
CADE
2009
Springer
14 years 6 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
JSCIC
2010
13 years 5 days ago
2010
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
TFS
2010
13 years 3 days ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
ICPR
2006
IEEE
2006
IEEE
Fast, Illumination Insensitive Face Detection Based on Multilinear Techniques and Curvature Features
14 years 6 months ago
This paper brings together two recent developments in image analysis. We consider a new mathematical framework that provides illumination invariant descriptors for face detection....