PTS
2010
13 years 5 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
PTS
2010
13 years 5 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
PTS
2010
13 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...
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we consider a decision-maker who tries to learn the distribution of outcomes from previously observed cases. For each observed database of cases the decision-maker ...
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
A new axiomatic characterization of the two-step Shapley value (Kamijo (2007)) is presented based in a solidarity principle for the members of a union: when the game changes due t...
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
We consider four different game-theoretic approaches to describe the formation of social networks under mutual consent and costly communication. First, we consider Jackson-Wolins...
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
An expert, trying to assess the true distribution over the states of nature, is associated with a preference relation over utility bundles. He prefers f to g if he believes that, a...
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
MSS
2010
IEEE
13 years 5 months ago
2010
IEEE
