7991 search results - page 51 / 1599 » Using More Reasoning to Improve |
110
click to vote
DLOG
2011
14 years 3 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Simultaneous Localization and Mapping (SLAM) based on visual information is a challenging problem. One of the main problems with visual SLAM is to find good quality landmarks,...
110
click to vote
ICYCS
2008
IEEE
15 years 6 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
122
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...