2180 search results - page 82 / 436 » A Framework of Evaluation for Question-Answering Systems |
202
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
147
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
163
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
154
click to vote
SIGOPS
2010
15 years 1 months ago
2010
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services. While t...
163
click to vote
IFIPTM
2009
15 years 4 months ago
2009
To date, research in trust negotiation has focused mainly on the theoretical aspects of the trust negotiation process, and the development of proof of concept implementations. Thes...