455 search results - page 21 / 91 » Understanding Counterexamples with explain |
IJHPCA
2010
14 years 8 months ago
2010
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...
298
Voted
Book
"This document explains how to construct a compiler using lex and yacc. Lex and yacc are tools used to generate lexical analyzers and parsers. I assume you can program in C, a...
COMPUTER
2007
14 years 11 months ago
2007
AI research explains the strangest feature of software and tell us how to understand larger programs.
CORR
2002
Springer
14 years 11 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
119
click to vote
ESWA
2006
14 years 11 months ago
2006
In recent years, there have been many studies focusing on improving the accuracy of prediction of transmembrane segments, and many significant results have been achieved. In spite...