Sciweavers

2210 search results - page 203 / 442
» Decision Support By Learning-On-Demand
Sort
View
194
Voted
JSA
2008
131views more  JSA 2008»
15 years 6 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...
WAIM
2010
Springer
15 years 5 months ago
Trustworthy Information: Concepts and Mechanisms
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
Shouhuai Xu, Haifeng Qian, Fengying Wang, Zhenxin ...
ICDIM
2010
IEEE
15 years 4 months ago
Real-time business intelligence system architecture with stream mining
Business Intelligence (BI) capitalized on datamining and analytics techniques for discovering trends and reacting to events with quick decisions. We argued that a new breed of dat...
Yang Hang, Simon Fong
IMC
2010
ACM
15 years 4 months ago
Scamper: a scalable and extensible packet prober for active measurement of the internet
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...
Matthew J. Luckie
ECSQARU
2009
Springer
15 years 4 months ago
When in Doubt ... Be Indecisive
For a presented case, a Bayesian network classifier in essence computes a posterior probability distribution over its class variable. Based upon this distribution, the classifier&#...
Linda C. van der Gaag, Silja Renooij, Wilma Steene...