Sciweavers

4266 search results - page 710 / 854
» Search for More Declarativity
Sort
View
COLING
2002
13 years 9 months ago
A Reliable Approach to Automatic Assessment of Short Answer Free Responses
This paper discusses an innovative approach to the computer assisted scoring of student responses in WebLAS (web-based language assessment system)- a language assessment system de...
Lyle F. Bachman, Nathan Carr, Greg Kamei, Mikyung ...
CORR
2000
Springer
91views Education» more  CORR 2000»
13 years 9 months ago
Algorithmic Theories of Everything
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...
Jürgen Schmidhuber
ENTCS
2002
97views more  ENTCS 2002»
13 years 9 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
ML
2000
ACM
244views Machine Learning» more  ML 2000»
13 years 9 months ago
Learnable Evolution Model: Evolutionary Processes Guided by Machine Learning
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
Ryszard S. Michalski
RTS
2000
143views more  RTS 2000»
13 years 9 months ago
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
Precise run-time prediction suffers from a complexity problem when doing an integrated analysis. This problem is characterised by the conflict between an optimal solution and the c...
Henrik Theiling, Christian Ferdinand, Reinhard Wil...