1568 search results - page 165 / 314 » Fusions of Description Logics |
RAS
2007
14 years 9 months ago
2007
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...
90
Voted
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we present a study of transferable belief model for automatic hair segmentation process. Firstly, we recall the transferable Belief Model. Secondly, we defined for ...
AIIA
2007
Springer
14 years 12 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
107
click to vote
FOIKS
2006
Springer
15 years 1 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...