Sciweavers

2263 search results - page 93 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ICALT
2005
IEEE
15 years 7 months ago
Java Learning Object Ontology
This paper presents an ontology, the Java Learning Object Ontology - JLOO, for organizing learning objects of Java courses in an adaptive e-learning environment. The classificatio...
Ming-Che Lee, Ding Yen Ye, Tzone I. Wang
ESOP
2009
Springer
15 years 5 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
ETFA
2006
IEEE
15 years 7 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
FUZZIEEE
2007
IEEE
15 years 7 months ago
Genetic Learning of Membership Functions for Mining Fuzzy Association Rules
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
Rafael Alcalá, Jesús Alcalá-F...
WWW
2008
ACM
16 years 2 months ago
Automatically refining the wikipedia infobox ontology
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...
Fei Wu, Daniel S. Weld