5086 search results - page 378 / 1018 » The Power of Comparative Reasoning |
181
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
187
click to vote
EMNLP
2007
15 years 8 months ago
2007
We compare and contrast the strengths and weaknesses of a syntax-based machine translation model with a phrase-based machine translation model on several levels. We briefly descr...
156
click to vote
FAST
2004
15 years 8 months ago
2004
IP-networked storage protocols such as NFS and iSCSI have become increasingly common in today's LAN environments. In this paper, we experimentally compare NFS and iSCSI perfo...
170
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
205
click to vote
JAIR
2007
15 years 6 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...