Sciweavers

376 search results - page 4 / 76
» Evaluating a computational model of social causality and res...
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 8 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
CIKM
2008
Springer
13 years 9 months ago
Social capital in online communities
Online communities are connecting hordes of individuals and generating rich social network data. The social capital that resides within these networks is largely unknown. We propo...
Matthew S. Smith
AINA
2007
IEEE
14 years 2 months ago
A Cost-Sensitive Model for Preemptive Intrusion Response Systems
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
Natalia Stakhanova, Samik Basu, Johnny Wong
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
14 years 2 months ago
Understanding Development and Usage of Social Networking Sites: The Social Software Performance Model
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
Catherine Dwyer, Starr Roxanne Hiltz, George Widme...
ACL
2012
11 years 10 months ago
Combining Coherence Models and Machine Translation Evaluation Metrics for Summarization Evaluation
An ideal summarization system should produce summaries that have high content coverage and linguistic quality. Many state-ofthe-art summarization systems focus on content coverage...
Ziheng Lin, Chang Liu, Hwee Tou Ng, Min-Yen Kan