5718 search results - page 128 / 1144 » Modeling Rule Precision |
180
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
233
click to vote
ISIPTA
2005
IEEE
15 years 12 months ago
2005
IEEE
Sets of probability measures which form neighbourhoods of classical probability measures are studied. An application of Jeffrey’s rule of conditioning to forming neighbourhoods...
152
click to vote
DSN
2007
IEEE
16 years 21 days ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
149
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Content-free image retrieval uses accumulated user feedback records to retrieve images without analyzing image pixels. We present a Bayesian-based algorithm to analyze user feedba...
148
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
A variety of techniques from statistics, signal processing, pattern recognition, machine learning, and neural networks have been proposed to understand data by discovering useful ...