3557 search results - page 124 / 712 » Reviews |
137
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
ull articles not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each sub eld (like POPL below) typically have the highest impact f...
175
click to vote
ADG
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
164
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we position the correct way of using graphical models for enhancing cyber security analysis in enterprise networks. Graphical models can be powerful in representati...
194
click to vote
MCS
2000
Springer
15 years 10 months ago
2000
Springer
Ensemble methods are learning algorithms that construct a set of classi ers and then classify new data points by taking a (weighted) vote of their predictions. The original ensembl...
156
click to vote
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
As businesses become more reliance on information technology, electronic information is often produced as vital evidence during civil litigation. The process of discovering electr...