3384 search results - page 272 / 677 » More Testable Properties |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-...
137
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The method of stable random projections is an efficient tool for computing the l distances using low memory, where 0 < 2 may be viewed as a tuning parameter. This method boil...
133
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Given a probability distribution over a set of n words to be transmitted, the Huffman Coding problem is to find a minimal-cost prefix free code for transmitting those words. The b...
169
click to vote
DAM
2008
15 years 6 months ago
2008
Abstract. In many clustering systems (hierarchies, pyramids and more generally weak hierarchies) clusters are generated by two elements only. This paper is devoted to such clusteri...
190
click to vote
EJC
2008
15 years 6 months ago
2008
The motivation for this paper is three-fold. First, we study the connectivity properties of the homomorphism order of directed graphs, and more generally for relational structures...