14895 search results - page 278 / 2979 » Evaluating The Regret System |
171
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are two popular parallel programming paradigms available to high performance computing users such as engineering and physics professionals: message passing and distributed s...
210
click to vote
ACL2
2006
ACM
16 years 21 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...
180
click to vote
HIPEAC
2005
Springer
16 years 7 days ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
164
click to vote
ISW
2005
Springer
16 years 6 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
182
click to vote
ILP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper introduces Deft, a new multitask learning approach for rule learning algorithms. Like other multitask learning systems, the one proposed here is able to improv...