280 search results - page 37 / 56 » Generating Regression Tests via Model Checking |
JORS
2010
13 years 2 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...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper we develop a recommendation framework to connect image content with communities in online social media. The problem is important because users are looking for useful...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Given a set of images of scenes containing multiple object categories (e.g. grass, roads, buildings) our objective is to discover these objects in each image in an unsupervised man...
RE
2008
Springer
13 years 7 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we examine the effects of single node mutations on trees evolved via genetic programming. The results show that neutral mutations are less likely for nodes nearer th...