PTS
2010
13 years 10 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 10 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 10 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 10 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 10 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 10 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 10 months ago
2010
IEEE
MSS
2010
IEEE
13 years 10 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 10 months ago
2010
IEEE
MSS
2010
IEEE
13 years 10 months ago
2010
IEEE
