9425 search results - page 473 / 1885 » Some Notes on Models and Modelling |
170
click to vote
PERVASIVE
2005
Springer
15 years 11 months ago
2005
Springer
Obfuscation concerns the practice of deliberately degrading the quality of information in some way, so as to protect the privacy of the individual to whom that information refers. ...
163
Voted
RSFDGRC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Association rule algorithms often generate an excessive number of rules, many of which are not significant. It is difficult to determine which rules are more useful, int...
152
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
217
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
158
click to vote
CINQ
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...