4502 search results - page 558 / 901 » Regular Model Checking |
175
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a fast approach to obtain semantic scene segmentation with high precision. We employ a two-stage classifier to label all image pixels. First, we use the ...
182
click to vote
JMLR
2010
15 years 1 months ago
2010
Principal component analysis (PCA) is a classical data analysis technique that finds linear transformations of data that retain the maximal amount of variance. We study a case whe...
225
click to vote
TNN
2010
15 years 1 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
156
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Multiclass classification problems are often decomposed into multiple binary problems that are solved by individual binary classifiers whose results are integrated into a final...
190
click to vote
DIMVA
2011
14 years 10 months ago
2011
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...