877 search results - page 121 / 176 » Annotated Revision Programs |
105
Voted
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...
141
Voted
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
99
Voted
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
117
Voted
CONIELECOMP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
130
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...