1490 search results - page 18 / 298 » Combining Methods for Dynamic Multiple Classifier Systems |
140
Voted
CADE
2007
Springer
16 years 23 days ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
103
click to vote
AUSAI
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
98
Voted
IDEAL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Multiple classifier systems based on neural networks can give improved generalisation performance as compared with single classifier systems. We examine collaboration in ...
89
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Efficient channel feedback methods are becoming more important in limited-feedback multi-user multiple input multiple output (MU-MIMO) systems. We propose a new Dynamic channEl...