1912 search results - page 174 / 383 » On the evaluation of argumentation formalisms |
161
click to vote
DSOM
2007
Springer
16 years 21 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
165
click to vote
WIOPT
2005
IEEE
16 years 3 days ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
147
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
172
click to vote
RIAO
2007
15 years 8 months ago
2007
The paper proposes an approach to information retrieval based on the use of a structure (ontology) both for document (resp. query) indexing and query evaluating. The conceptual st...
192
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...