Sciweavers

4781 search results - page 150 / 957
» Complexity at large
Sort
View
LOGCOM
2007
92views more  LOGCOM 2007»
13 years 10 months ago
Third-Order Computation and Bounded Arithmetic
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
Alan Skelley
COCO
1995
Springer
113views Algorithms» more  COCO 1995»
14 years 1 months ago
On the Structure of Low Sets
Over a decade ago, Schoning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexit...
Johannes Köbler
ISSAC
2007
Springer
94views Mathematics» more  ISSAC 2007»
14 years 4 months ago
Faster algorithms for the characteristic polynomial
A new randomized algorithm is presented for computing the characteristic polynomial of an n × n matrix over a field. Over a sufficiently large field the asymptotic expected com...
Clément Pernet, Arne Storjohann
SWWS
2008
13 years 11 months ago
A New Approach to Managing the Evolution of OWL Ontologies
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...
Chuming Chen, Manton M. Matthews
IWPSE
2003
IEEE
14 years 3 months ago
The Chaos of Software Development
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
Ahmed E. Hassan, Richard C. Holt