3032 search results - page 385 / 607 » Description Logic Rules |
156
click to vote
FSKD
2007
Springer
16 years 9 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
152
click to vote
ICWE
2007
Springer
16 years 9 days ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
150
click to vote
ICWL
2007
Springer
16 years 9 days ago
2007
Springer
In e-testing it is important to administer tests composed of good quality question items. By the term “quality” we intend the potential of an item in effectively discriminating...
175
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
143
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...