84 search results - page 3 / 17 » Theme-Based Literate Programming |
AMAI
2002
Springer
13 years 9 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
ERSHOV
2003
Springer
14 years 3 months ago
2003
Springer
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
OWLED
2008
13 years 11 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
EL
2010
13 years 8 months ago
2010
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...