Sciweavers

2045 search results - page 15 / 409
» Learning programming with Erlang
Sort
View
79
Voted
TAP
2010
Springer
145views Hardware» more  TAP 2010»
14 years 9 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes
ACL
2012
13 years 2 months ago
Learning to "Read Between the Lines" using Bayesian Logic Programs
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
Sindhu Raghavan, Raymond J. Mooney, Hyeonseo Ku
141
Voted
GECCO
2011
Springer
274views Optimization» more  GECCO 2011»
14 years 3 months ago
Fuzzy dynamical genetic programming in XCSF
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
Richard Preen, Larry Bull
IFIP
1999
Springer
15 years 3 months ago
ICT as a tool for learning to learn
Paola Forcheri, Maria Teresa Molfino