1615 search results - page 83 / 323 » Adaptive programming in JAsCo |
TABLEAUX
1997
Springer
14 years 2 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
FPL
2008
Springer
13 years 11 months ago
2008
Springer
Recent improvements in the memory capacity of Field Programmable Gate Arrays (FPGAs) have spurred interest in using the devices for arithmetic floating-point operations. However, ...
ACL
2007
13 years 11 months ago
2007
We describe the semantic enrichment of journal articles with chemical structures and biomedical ontology terms using Oscar, a program for chemical named entity recognition (NER). ...
BIB
2002
13 years 10 months ago
2002
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Redundant code obstructs program understanding and contributes to high maintenance costs. While most experts agree on that, opinions on how serious the problem of redundancies rea...