906 search results - page 51 / 182 » Chain Dominated Orders |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
108
click to vote
WIOPT
2011
IEEE
14 years 3 months ago
2011
IEEE
—Most work on wireless network throughput ignore the temporal correlation inherent to wireless channels, due to trouble with tractability. In order to better capture the temporal...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, the problem of optimizing the performances of a distributed supply chain is faced by means of a decentralized architecture. In particular, a general scheme for a...
104
click to vote
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Subspace-based methods rely on dominant element selection from second order statistics. They have been extended to tensor processing, in particular to tensor data filtering. For t...
WABI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...