Sciweavers

1682 search results - page 194 / 337
» A behavior model for persuasive design
Sort
View
AAAI
2008
15 years 8 months ago
Bounding the False Discovery Rate in Local Bayesian Network Learning
Modern Bayesian Network learning algorithms are timeefficient, scalable and produce high-quality models; these algorithms feature prominently in decision support model development...
Ioannis Tsamardinos, Laura E. Brown
AVI
2006
15 years 7 months ago
Input interactions and context component based modelisations: differences and similarities
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
Diane Lingrand, Michel Riveill
WSC
1998
15 years 7 months ago
Combining Optimism Limiting Schemes in Time Warp Based Parallel Simulations
The Time Warp protocol is considered to be an effective synchronization mechanism for parallel discrete event simulation (PDES). However, it is widely recognized that it suffers o...
Kevin G. Jones, Samir Ranjan Das
JSA
2008
131views more  JSA 2008»
15 years 5 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
ATAL
2004
Springer
15 years 11 months ago
Degree of Local Cooperation and Its Implication on Global Utility
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
Jiaying Shen, Xiaoqin Zhang, Victor R. Lesser