Sciweavers

6014 search results - page 384 / 1203
» Structural Testing with Use Cases
Sort
View
ICCBR
1995
Springer
15 years 8 months ago
On the use of CBR in optimisation problems such as the TSP
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
Padraig Cunningham, Barry Smyth, Neil J. Hurley
154
Voted
ENTCS
2002
78views more  ENTCS 2002»
15 years 4 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
122
Voted
AUTOMATICA
2007
93views more  AUTOMATICA 2007»
15 years 5 months ago
Development of omni-directional correlation functions for nonlinear model validation
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
Quan Min Zhu, Li Feng Zhang, Ashley Longden
ET
2002
108views more  ET 2002»
15 years 4 months ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
RECOMB
2006
Springer
16 years 5 months ago
A Parameterized Algorithm for Protein Structure Alignment
This paper proposes a parameterized algorithm for aligning two protein structures, in the case where one protein structure is represented by a contact map graph and the other by a ...
Jinbo Xu, Feng Jiao, Bonnie Berger