1722 search results - page 130 / 345 » Generating Tests from Counterexamples |
JORS
2010
13 years 5 months ago
2010
Monte Carlo simulation is a common method for studying the volatility of market traded instruments. It is less employed in retail lending, because of the inherent nonlinearities in...
USS
2008
14 years 1 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
PAMI
2008
13 years 10 months ago
2008
We investigate whether dimensionality reduction using a latent generative model is beneficial for the task of weakly supervised scene classification. In detail we are given a set ...
DAGM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper deals with the detection of arbitrary static objects in traffic scenes from monocular video using structure from motion. A camera in a moving vehicle observes ...
MVA
2007
13 years 10 months ago
2007
Tracking moving obstacles from a moving platform is a useful skill for the coming generation of mobile robot. The methods used in existing moving objects tracking that operated fr...