Sciweavers

50 search results - page 2 / 10
» A Framework for Argumentation of Decision Task Generation an...
Sort
View
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
13 years 10 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
ICTAI
2007
IEEE
13 years 11 months ago
Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
Matt Williams, Anthony Hunter
AI
2006
Springer
13 years 5 months ago
Generating and evaluating evaluative arguments
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
Giuseppe Carenini, Johanna D. Moore
ACL
2008
13 years 6 months ago
Dictionary Definitions based Homograph Identification using a Generative Hierarchical Model
A solution to the problem of homograph (words with multiple distinct meanings) identification is proposed and evaluated in this paper. It is demonstrated that a mixture model base...
Anagha Kulkarni, Jamie Callan
ICTAI
2010
IEEE
13 years 3 months ago
Argumentation for Aggregating Clinical Evidence
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
Anthony Hunter, Matthew Williams