Sciweavers

1707 search results - page 160 / 342
» Early Integer Programming
Sort
View
SARA
2009
Springer
15 years 9 months ago
Some Interval Approximation Techniques for MINLP
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
Nicolas Berger, Laurent Granvilliers
UM
2009
Springer
15 years 9 months ago
What Do Academic Users Really Want from an Adaptive Learning System?
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
Martin Harrigan, Milos Kravcik, Christina Steiner,...
KBSE
2008
IEEE
15 years 8 months ago
A Case for Automatic Exception Handling
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
Bruno Cabral, Paulo Marques
IEAAIE
2005
Springer
15 years 8 months ago
Plan Execution in Dynamic Environments
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
Gordon Fraser, Gerald Steinbauer, Franz Wotawa
RTCSA
2000
IEEE
15 years 6 months ago
Extracting safe and precise control flow from binaries
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
Henrik Theiling