1912 search results - page 137 / 383 » On the evaluation of argumentation formalisms |
145
click to vote
IEEEARES
2007
IEEE
16 years 23 days ago
2007
IEEE
Validating an end-entity X.509 digital certificate prior to authorizing it for using a resource into the computational Grid has become a widely studied topic due to its importance...
174
click to vote
IIR
2010
15 years 8 months ago
2010
We study the evaluation of opinion retrieval systems. Opinion retrieval is a relatively new research area, nevertheless classical evaluation measures, those adopted for ad hoc ret...
289
click to vote
ICDE
1998
IEEE
16 years 7 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
177
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
186
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...