110 search results - page 15 / 22 » mp 2007 |
MP
2010
14 years 8 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
EUROPAR
2007
Springer
15 years 3 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
ECWEB
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we propose a user interface for online shopping that uses a two dimensional product map to present products. This map is created using multidimensional scaling (MDS)...
AUTOMATICA
2005
14 years 9 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
AML
2002
14 years 9 months ago
2002
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...