Sciweavers

5343 search results - page 722 / 1069
» Keyword programming in java
Sort
View
ATMOS
2009
102views Optimization» more  ATMOS 2009»
15 years 7 months ago
An Improved Train Classification Procedure for the Hump Yard Lausanne Triage
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
Peter Marton, Jens Maue, Marc Nunkesser
CIDR
2009
159views Algorithms» more  CIDR 2009»
15 years 7 months ago
RIOT: I/O-Efficient Numerical Computing without SQL
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
Yi Zhang 0011, Herodotos Herodotou, Jun Yang 0001
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
15 years 7 months ago
Genetic algorithms for mentor-assisted evaluation function optimization
In this paper we demonstrate how genetic algorithms can be used to reverse engineer an evaluation function’s parameters for computer chess. Our results show that using an approp...
Omid David-Tabibi, Moshe Koppel, Nathan S. Netanya...
164
Voted
ICFP
2010
ACM
15 years 7 months ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani