11862 search results - page 346 / 2373 » Relative information completeness |
141
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
138
click to vote
NAR
2000
15 years 4 months ago
2000
The WIT (What Is There) (http://wit.mcs.anl.gov/WIT2/ ) system has been designed to support comparative analysis of sequenced genomes and to generate metabolic reconstructions bas...
128
click to vote
TCBB
2011
15 years 2 days ago
2011
A TOPS diagram is a simplified description of the topology of a protein using a graph where nodes are α-helices and β-strands, and edges correspond to chirality relations and p...
135
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
The Question Answering Task requires user interaction. Users can help the system by reformulating the questions, adding information to them or selecting the documents on which the ...
134
click to vote
SIGUCCS
2003
ACM
15 years 10 months ago
2003
ACM
Internal Study Groups at Colgate University have increased staff members’ technical knowledge, encouraged additional study on selected topics, and resulted in achievement of ind...