Sciweavers

1414 search results - page 142 / 283
» Randomness and Universal Machines
Sort
View
94
Voted
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
15 years 6 months ago
A statistical learning theory approach of bloat
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
Sylvain Gelly, Olivier Teytaud, Nicolas Bredeche, ...
87
Voted
WIA
2001
Springer
15 years 5 months ago
Past Pushdown Timed Automata
d Abstract) Zhe Dang   , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard ...
94
Voted
LREC
2010
165views Education» more  LREC 2010»
15 years 2 months ago
Cooperation for Arabic Language Resources and Tools - The MEDAR Project
The paper describes some of the work carried out within the European funded project MEDAR. The project has three streams of activity: the technical stream, the cooperation stream ...
Bente Maegaard, Mohamed Attia, Khalid Choukri, Oli...
74
Voted
IJMMS
2006
74views more  IJMMS 2006»
15 years 20 days ago
Constructing computer-based tutors that are socially sensitive: Politeness in educational software
Students rated 16 tutorial statements on negative politeness (i.e., how much the tutor ``allows me freedom to make my own decisions'') and positive politeness (i.e., how...
Richard E. Mayer, W. Lewis Johnson, Erin Shaw, Sah...
101
Voted
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
14 years 11 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King