531 search results - page 21 / 107 » An Argumentation-Based Approach for Practical Reasoning |
107
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
CADE
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
100
click to vote
CISIS
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
105
click to vote
CADE
2006
Springer
16 years 2 days ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
ECEASST
2010
14 years 9 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...