Sciweavers

3136 search results - page 435 / 628
» Genetic programming theory
Sort
View
ML
2007
ACM
15 years 6 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
IEEECIT
2010
IEEE
15 years 5 months ago
Research on J2EE Teaching Based on Mainstream Open Source Frameworks
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...
Xiaoliang Xu, Weihua Hu
FUIN
2010
116views more  FUIN 2010»
15 years 3 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
JMLR
2012
13 years 9 months ago
Detecting Network Cliques with Radon Basis Pursuit
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
Xiaoye Jiang, Yuan Yao, Han Liu, Leonidas J. Guiba...
ICSE
2012
IEEE-ACM
13 years 9 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang