Sciweavers

10848 search results - page 272 / 2170
» Programming in Biomolecular Computation
Sort
View
DIS
2009
Springer
16 years 15 days ago
Linear Programming Boosting by Column and Row Generation
Abstract. We propose a new boosting algorithm based on a linear programming formulation. Our algorithm can take advantage of the sparsity of the solution of the underlying optimiza...
Kohei Hatano, Eiji Takimoto
ECOOPW
2001
Springer
15 years 10 months ago
Formal Techniques for Java Programs
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb...
ECOOPW
1999
Springer
15 years 10 months ago
A Reflective Architecture for the Support of Aspect-Oriented Programming in Smalltalk
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
Jane Pryor, Natalio Bastán
ECOOPW
2007
Springer
15 years 9 months ago
Formal Techniques for Java-Like Programs
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
John Boyland, Dave Clarke, Gary T. Leavens, France...
SIGCSE
2008
ACM
136views Education» more  SIGCSE 2008»
15 years 5 months ago
A new paradigm for programming competitions
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
James F. Bowring