4100 search results - page 495 / 820 » General Linear Cameras |
195
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
238
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
198
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
XCSF is a novel version of learning classifier systems (LCS) which extends the typical concept of LCS by introducing computable classifier prediction. In XCSF Classifier predictio...
204
click to vote
STOC
1995
ACM
15 years 11 months ago
1995
ACM
We relate the sequence of minimum bases of a matroid with linearly varying weights to three problems from combinatorial geometry: k-sets, lower envelopes of line segments, and con...
183
Voted
WSC
2007
15 years 9 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...