Sciweavers

2263 search results - page 130 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ICALT
2005
IEEE
15 years 11 months ago
Visualizing Topic Maps for e-Learning
TM4L is an e-learning environment providing editing and browsing support for developing and using Topic Maps-based digital course libraries. The TM4L functionality is enhanced by ...
Darina Dicheva, Christo Dichev, Dandan Wang
LISP
2008
96views more  LISP 2008»
15 years 5 months ago
Dynamic slicing of lazy functional programs based on redex trails
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
Claudio Ochoa, Josep Silva, Germán Vidal
CSFW
2008
IEEE
16 years 9 days ago
DKAL: Distributed-Knowledge Authorization Language
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
Yuri Gurevich, Itay Neeman
ILP
2007
Springer
15 years 12 months ago
Relational Macros for Transfer in Reinforcement Learning
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
Lisa Torrey, Jude W. Shavlik, Trevor Walker, Richa...
COLING
2004
15 years 5 months ago
Word Translation Disambiguation Using Bilingual Bootstrapping
This paper proposes a new method for word translation disambiguation using a machine learning technique called `Bilingual Bootstrapping'. Bilingual Bootstrapping makes use of...
Hang Li, Cong Li