Sciweavers

318 search results - page 49 / 64
» Social Analysis of Multi-agent Systems with Activity Theory
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 4 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
HICSS
2008
IEEE
96views Biometrics» more  HICSS 2008»
15 years 4 months ago
Towards a Framework for Evaluating Immersive Business Models: Evaluating Service Innovations in Second Life
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
Henry M. Kim, Kelly A. Lyons, Mary Ann Cunningham
ATAL
2007
Springer
15 years 3 months ago
Average-case tractability of manipulation in voting via the fraction of manipulators
Recent results have established that a variety of voting rules are computationally hard to manipulate in the worst-case; this arguably provides some guarantee of resistance to man...
Ariel D. Procaccia, Jeffrey S. Rosenschein
65
Voted
ATAL
2007
Springer
15 years 3 months ago
On the robustness of preference aggregation in noisy environments
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
Ariel D. Procaccia, Jeffrey S. Rosenschein, Gal A....
ATAL
2008
Springer
14 years 11 months ago
Automated design of scoring rules by learning from examples
Scoring rules are a broad and concisely-representable class of voting rules which includes, for example, Plurality and Borda. Our main result asserts that the class of scoring rul...
Ariel D. Procaccia, Aviv Zohar, Jeffrey S. Rosensc...