Sciweavers

3736 search results - page 427 / 748
» Hand-Writing Program Generator Generators
Sort
View
SIAMJO
2002
124views more  SIAMJO 2002»
15 years 6 months ago
The Sample Average Approximation Method for Stochastic Discrete Optimization
In this paper we study a Monte Carlo simulation based approach to stochastic discrete optimization problems. The basic idea of such methods is that a random sample is generated and...
Anton J. Kleywegt, Alexander Shapiro, Tito Homem-d...
ICFEM
2010
Springer
15 years 5 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio
ICRA
2010
IEEE
427views Robotics» more  ICRA 2010»
15 years 5 months ago
KCT: a MATLAB toolbox for motion control of KUKA robot manipulators
— The Kuka Control Toolbox (KCT) is a collection of MATLAB functions for motion control of KUKA robot manipulators, developed to offer an intuitive and high-level programming int...
Francesco Chinello, Stefano Scheggi, Fabio Morbidi...
MP
2010
116views more  MP 2010»
15 years 5 months ago
Separation algorithms for 0-1 knapsack polytopes
Valid inequalities for 0-1 knapsack polytopes often prove useful when tackling hard 0-1 Linear Programming problems. To generate such inequalities, one needs separation algorithms...
Konstantinos Kaparis, Adam N. Letchford
SCP
2010
108views more  SCP 2010»
15 years 5 months ago
Combining dynamic and static slicing for analysing assembler
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
Martin P. Ward, Hussein Zedan