2935 search results - page 494 / 587 » An Integrated Approach to High Integrity Software Verificati... |
131
Voted
JMLR
2002
15 years 5 months ago
2002
In this paper, we discuss round robin classification (aka pairwise classification), a technique for handling multi-class problems with binary classifiers by learning one classifie...
180
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
254
click to vote
ECIS
2011
14 years 5 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
182
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
We investigate the problem of pedestrian detection in
still images. Sliding window classifiers, notably using the
Histogram-of-Gradient (HOG) features proposed by Dalal
and Trig...
140
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Currently an abundance of historical manuscripts, journals, and scientific notes remain largely unaccessible in library archives. Manual transcription and publication of such docu...