10072 search results - page 1388 / 2015 » Composition of Model Programs |
180
Voted
IJKESDP
2010
15 years 5 months ago
2010
— In this paper, several portfolio selection problems with normal mixture distributions including fuzziness are proposed. Until now, many researchers have proposed portfolio mode...
208
Voted
PTS
2010
15 years 5 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
221
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
217
click to vote
MSV
2010
15 years 5 months ago
2010
Recent simulations of diffusion limited cluster-cluster aggregation (DLCA) have shown systematic inhomogeneities in the shape and orientation of clusters formed when a sedimentary...
208
Voted
UTP
2010
15 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...