488 search results - page 92 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
KDD
1997
ACM
14 years 3 days ago
1997
ACM
This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhi...
PKDD
2010
Springer
13 years 7 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
KDD
2004
ACM
14 years 9 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...
AAAI
2008
13 years 11 months ago
2008
When building an application that requires object class recognition, having enough data to learn from is critical for good performance, and can easily determine the success or fai...
CSEE
2000
Springer
14 years 27 days ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...