Sciweavers

5090 search results - page 165 / 1018
» Constructing Strategies for Programming
Sort
View
ATMOS
2007
177views Optimization» more  ATMOS 2007»
13 years 11 months ago
Approximate dynamic programming for rail operations
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...
Warren B. Powell, Belgacem Bouzaïene-Ayari
ICML
2003
IEEE
14 years 10 months ago
Linear Programming Boosting for Uneven Datasets
The paper extends the notion of linear programming boosting to handle uneven datasets. Extensive experiments with text classification problem compare the performance of a number o...
Jure Leskovec, John Shawe-Taylor
PLDI
2005
ACM
14 years 2 months ago
Programming by sketching for bit-streaming programs
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav ...
ENTCS
2007
101views more  ENTCS 2007»
13 years 9 months ago
From Functional Programs to Interaction Nets via the Rewriting Calculus
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
Horatiu Cirstea, Germain Faure, Maribel Fern&aacut...
CORR
2008
Springer
120views Education» more  CORR 2008»
13 years 9 months ago
Detecting Errors in Spreadsheets
The paper presents two complementary strategies for identifying errors in spreadsheet programs. The strategies presented are grounded on the assumption that spreadsheets are softw...
Yirsaw Ayalew, Markus Clermont, Roland T. Mitterme...