Sciweavers

698 search results - page 3 / 140
» Evaluating Key Statements Analysis
Sort
View
JUCS
2007
80views more  JUCS 2007»
13 years 5 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
DAGSTUHL
1996
13 years 6 months ago
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
Sandrine Blazy, Philippe Facon
AI
2007
Springer
13 years 5 months ago
On the evaluation of argumentation formalisms
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
Martin Caminada, Leila Amgoud
IV
2005
IEEE
98views Visualization» more  IV 2005»
13 years 10 months ago
Exploring Highly Structured Data: A Comparative Study of Stardinates and Parallel Coordinates
Comparing different Information Visualization (InfoVis) techniques is a challenging task and a necessary step to reach the users and their tasks. We evaluated the effectiveness in...
Monika Lanzenberger, Silvia Miksch, Margit Pohl
AUSAI
1997
Springer
13 years 9 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss