3281 search results - page 255 / 657 » An Approach to use Executable Models for Testing |
168
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
157
click to vote
AIRS
2006
Springer
15 years 7 months ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
132
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
A novel technique for extracting texture edges is introduced. It is based on the combination of two ideas: the patch-based approach, and non-parametric tests of distributions. Our ...
193
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We present several modifications of the original recurrent neural network language model (RNN LM). While this model has been shown to significantly outperform many competitive l...
148
click to vote
PAMI
1998
15 years 3 months ago
1998
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...