3820 search results - page 464 / 764 » Bounded Model Debugging |
128
Voted
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
141
Voted
COR
2007
15 years 3 months ago
2007
In this paper we apply a heuristic method based on artificial neural networks (NN) in order to trace out the efficient frontier associated to the portfolio selection problem. We...
144
Voted
SIAMCOMP
2002
15 years 3 months ago
2002
We consider the problem of maintaining aggregates and statistics over data streams, with respect to the last N data elements seen so far. We refer to this model as the sliding wind...
140
Voted
ICA
2010
Springer
15 years 3 months ago
2010
Springer
We develop a probabilistic modeling framework for multiway arrays. Our framework exploits the link between graphical models and tensor factorization models and it can realize any ...
148
Voted
SODA
2012
ACM
13 years 6 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...