4117 search results - page 630 / 824 » On the Satisfiability of Complex Constraints |
168
click to vote
BPSC
2009
15 years 7 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
169
click to vote
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
158
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper presents three novel Moving Horizon Estimation (MHE) methods for discrete-time partitioned linear systems, i.e. systems decomposed into coupled subsystems with non-over...
150
click to vote
COR
2008
15 years 6 months ago
2008
We study the viability of different robust optimization approaches to multiperiod portfolio selection. Robust optimization models treat future asset returns as uncertain coefficie...
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present several descent methods that can be applied to nonnegative matrix factorization and we analyze a recently developped fast block coordinate method. We als...