10890 search results - page 435 / 2178 » Automatic Complexity Analysis |
159
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
148
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
204
click to vote
WAPCV
2007
Springer
16 years 29 days ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
143
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
185
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...