3994 search results - page 199 / 799 » A Linear Logical Framework |
157
click to vote
ICW
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...
165
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
138
click to vote
WSC
2008
15 years 7 months ago
2008
We consider discrete stochastic optimization problems where the objective function can only be estimated by a simulation oracle; the oracle is defined only at the discrete points....
134
click to vote
SODA
2008
ACM
15 years 6 months ago
2008
ACM
We present greedy algorithms for some classes of combinatorial packing and cover problems within the general formal framework of Hoffman and Schwartz' lattice polyhedra. Our ...
150
click to vote
ICINCO
2004
15 years 6 months ago
2004
: We introduce a class of quasi-linear models for stochastic dynamics, called moment-linear stochastic systems (MLSS). We formulate MLSS and analyze their dynamics, as well as disc...