1544 search results - page 179 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
206
click to vote
CSL
2011
Springer
15 years 1 months ago
2011
Springer
We describe the design and evaluation of two different dynamic student uncertainty adaptations in wizarded versions of a spoken dialogue tutoring system. The two adaptive systems...
205
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
176
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
161
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
181
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...