3446 search results - page 473 / 690 » A Reasoning Algorithm for pD* |
175
click to vote
JAR
2002
15 years 5 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
183
click to vote
JCB
2002
15 years 5 months ago
2002
Arc-annotated sequences are useful in representing the structural information of RNA sequences. In general, RNA secondary and tertiary structures can be represented as a set of ne...
135
click to vote
SIAMJO
2002
15 years 5 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
154
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...
148
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
----------------------------------------------ABSTRACT-------------------------------------------In the faceless world of the Internet, online fraud is one of the greatest reasons ...