68 search results - page 2 / 14 » Empirical evaluation of the tarantula automatic fault-locali... |
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
ICCBR
2005
Springer
2005
Springer
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
13 years 10 months ago
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...
IEEEPACT
2006
IEEE
13 years 11 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
CRIWG
2000
13 years 6 months ago
2000
GRADD is a group decision support systems targeted at asynchronous and distributed meetings. The distinctive features of GRADD are the combination of a rationalemodel for discussi...
FGR
2006
IEEE
13 years 11 months ago
2006
IEEE
Illumination invariance remains the most researched, yet the most challenging aspect of automatic face recognition. In this paper we propose a novel, general recognition framework...