2962 search results - page 127 / 593 » Reasoning on Association Rules |
147
click to vote
KBSE
2006
IEEE
16 years 10 days ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
167
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
156
click to vote
IGPL
2007
15 years 6 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
161
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
256
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
Breast cancer represents the second leading cause of cancer deaths in women today and it is the most common type of cancer in women. This paper presents some experiments for tumou...