3424 search results - page 78 / 685 » Automated Testing of Classes |
170
click to vote
IJCAI
1997
15 years 7 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
160
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
136
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
Throughout the last 40 years, the essence of automated identification of users has remained the same. In this article, a new class of biometrics is proposed that is founded on pr...
177
click to vote
FROCOS
2009
Springer
16 years 22 days ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
147
click to vote
ILP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents an application of Inductive Logic Programming (ILP) and Backpropagation Neural Network (BNN) to the problem of Thai character recognition. In such a learning pr...