Sciweavers

3032 search results - page 160 / 607
» Description Logic Rules
Sort
View
ICONIP
2008
14 years 6 days ago
Intelligent Control of Heating, Ventilating and Air Conditioning Systems
In this paper, we propose the use of weighted linguistic fuzzy rules in combination with a rule selection process to develop accurate fuzzy logic controllers dedicated to the inte...
Patrick Low Tiong Kie, Lau Bee Theng
JIRS
2006
104views more  JIRS 2006»
13 years 10 months ago
Symbolic Trajectory Description in Mobile Robotics
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...
Gilbert Pradel, Philippe Hoppenot
STACS
2009
Springer
14 years 5 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
CSL
2004
Springer
13 years 10 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
ACL
1990
13 years 12 months ago
The Computational Complexity of Avoiding Conversational Implicatures
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
Ehud Reiter