5624 search results - page 537 / 1125 » On Conditional Covering Problem |
131
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
215
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
217
click to vote
CRV
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present the work done at the Canadian Space Agency on the problem of planetary exploration. One of the main goals is the over-the-horizon navigation of a mobile r...
147
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional stereo algorithms estimate disparity at the same resolution as the observations. In this work we address the problem of estimating disparity and occlusion information ...
139
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Support Vector Machines (SVMs), though accurate, are still difficult to solve large-scale applications, due to the computational and storage requirement. To relieve this problem,...