Sciweavers

1568 search results - page 110 / 314
» Fusions of Description Logics
Sort
View
CIE
2006
Springer
15 years 10 months ago
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
Johann A. Makowsky
POPL
2007
ACM
16 years 6 months ago
Lightweight fusion by fixed point promotion
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
Atsushi Ohori, Isao Sasano
BIRTHDAY
2010
Springer
15 years 5 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
ICRA
2002
IEEE
132views Robotics» more  ICRA 2002»
15 years 11 months ago
Fuzzy Logic Based Autonomous Skid Steering Vehicle Navigation
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
Lefteris Doitsidis, Kimon P. Valavanis, Nikos Tsou...
FSKD
2005
Springer
94views Fuzzy Logic» more  FSKD 2005»
15 years 12 months ago
Incremental Target Recognition Algorithm Based on Improved Discernibility Matrix
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan