10038 search results - page 1902 / 2008 » Model Checking for Managers |
105
Voted
KDD
2006
ACM
16 years 1 months ago
2006
ACM
We describe a data mining system to detect frauds that are camouflaged to look like normal activities in domains with high number of known relationships. Examples include accounti...
104
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
111
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
The primary goal of Web usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of user sessions and discoveri...
145
Voted
KDD
2003
ACM
16 years 1 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
115
Voted
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
We apply Amdahl's Law to multicore chips using symmetric cores, asymmetric cores, and dynamic techniques that allows cores to work together on sequential execution. To Amdahl...