3731 search results - page 658 / 747 » cases 2006 |
111
click to vote
JAR
1998
15 years 8 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
131
click to vote
JMLR
2002
15 years 8 days ago
2002
A central problem in learning is selection of an appropriate model. This is typically done by estimating the unknown generalization errors of a set of models to be selected from a...
JCB
1998
15 years 8 days ago
1998
The function of an unknown biological sequence can often be accurately inferred by identifying sequences homologous to the original sequence. Given a query set of known homologs, ...
106
click to vote
JCC
1998
15 years 8 days ago
1998
: A novel procedure for docking ligands in a flexible binding site is presented. It relies on conjugate gradient minimization, during which nonbonded interactions are gradually swi...
99
Voted
JUCS
2002
15 years 8 days ago
2002
: JPlag is a web service that finds pairs of similar programs among a given set of programs. It has successfully been used in practice for detecting plagiarisms among student Java ...