Sciweavers

7342 search results - page 966 / 1469
» Optimal Language Learning
Sort
View
ESOP
2005
Springer
15 years 11 months ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
162
Voted
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
15 years 11 months ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer
IJCNLP
2005
Springer
15 years 11 months ago
Parsing the Penn Chinese Treebank with Semantic Knowledge
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
Deyi Xiong, Shuanglong Li, Qun Liu, Shouxun Lin, Y...
GPCE
2004
Springer
15 years 11 months ago
Splice: Aspects That Analyze Programs
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
Sean McDirmid, Wilson C. Hsieh
SAC
2003
ACM
15 years 11 months ago
Automatic Code Generation for a Convection Scheme
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
Paul van der Mark, Lex Wolters, Gerard Cats