831 search results - page 17 / 167 » Sweeping with Continuous Domains |
91
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
105
Voted
RSA
2002
15 years 2 days ago
2002
Given any measure-preserving dynamical system (Y, A , , T) and g Lp() , we study convergence of the sequence 1 n n k=1 g TSk , n 1 where Sk is a dynamic Zr -valued random w...
81
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
In many multi agent learning problems, it is difficult to determine, a priori, the agent reward structure that will lead to good performance. This problem is particularly pronoun...
122
Voted
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
105
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...