9572 search results - page 172 / 1915 » Cover Algorithms and Their Combination |
164
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
167
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
151
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Keeping people away from litigious information becomes one of the most important research area in network information security. Indeed, Web filtering is used to prevent access to u...
178
click to vote
ICONIP
2008
15 years 7 months ago
2008
Abstract. The concept of Ensemble Learning has been shown to increase predictive power over single base learners. Given the bias-variancecovariance decomposition, diversity is char...
133
click to vote
INFFUS
2010
15 years 3 months ago
2010
We consider the problem of collective decision-making from an arbitrary set of classifiers under Sugeno fuzzy integral (S-FI). We assume that classifiers are given, i.e., they can...