11539 search results - page 333 / 2308 » On Learning from Exercises |
161
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
159
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...
208
click to vote
RSCTC
1993
Springer
15 years 10 months ago
1993
Springer
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...
151
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
154
click to vote
ACL
2001
15 years 8 months ago
2001
While paraphrasing is critical both for interpretation and generation of natural language, current systems use manual or semi-automatic methods to collect paraphrases. We present ...