6616 search results - page 240 / 1324 » Can markets help |
SE
2007
14 years 6 days ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
ACE
2004
14 years 6 days ago
2004
Contrary to the apparent beliefs of many students, computer programming and problem solving are not amenable to purely book learning. These skills can be acquired only by practice...
FLAIRS
2001
14 years 5 days ago
2001
This paper demonstrates that case-based reasoning is ideally suited to the creation of knowledge management systems. This is because of the close match between the activities of t...
NAACL
2003
14 years 4 days ago
2003
References included in multi-document summaries are often problematic. In this paper, we present a corpus study performed to derive a statistical model for the syntactic realizati...
SLP
1997
14 years 3 days ago
1997
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...