Sciweavers

2842 search results - page 376 / 569
» The Learn@WU Learning Environment
Sort
View
TPHOL
1999
IEEE
15 years 9 months ago
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
Stefan Berghofer, Markus Wenzel
GECCO
2006
Springer
167views Optimization» more  GECCO 2006»
15 years 8 months ago
Genomic computing networks learn complex POMDPs
A genomic computing network is a variant of a neural network for which a genome encodes all aspects, both structural and functional, of the network. The genome is evolved by a gen...
David J. Montana, Eric Van Wyk, Marshall Brinn, Jo...
AI
2001
Springer
15 years 8 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
EDM
2010
145views Data Mining» more  EDM 2010»
15 years 6 months ago
Mining Rare Association Rules from e-Learning Data
Rare association rules are those that only appear infrequently even though they are highly associated with very specific data. In consequence, these rules can be very appropriate f...
Cristóbal Romero, José Raúl R...
LWA
2008
15 years 6 months ago
Learning to Cope with Critical Situations - An Agent based Approach
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
Régis Newo, Klaus-Dieter Althoff