Sciweavers

624 search results - page 93 / 125
» The Complexity of Type Analysis of Object Oriented Programs
Sort
View
ICSE
2010
IEEE-ACM
14 years 19 days ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies
GECCO
2003
Springer
14 years 1 months ago
The State Problem for Evolutionary Testing
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
Phil McMinn, Mike Holcombe
PRL
2010
173views more  PRL 2010»
13 years 6 months ago
Resolving stereo matching errors due to repetitive structures using model information
This study regards the problem of incorrect stereo matches due to the occurrence of repetitive structures in the scene. In stereo vision, repetitive structures may lead to “phan...
Björn Barrois, Marcus Konrad, Christian W&oum...
BMCBI
2007
195views more  BMCBI 2007»
13 years 8 months ago
NeuroTerrain - a client-server system for browsing 3D biomedical image data sets
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
Carl Gustafson, William J. Bug, Jonathan Nissanov
EAAI
2010
144views more  EAAI 2010»
13 years 2 months ago
Fault diagnosis of industrial systems by conditional Gaussian network including a distance rejection criterion
The purpose of this article is to present a method for industrial process diagnosis with Bayesian network, and more particularly with Conditional Gaussian Network (CGN). The inter...
Sylvain Verron, Teodor Tiplica, Abdessamad Kobi