Sciweavers

4355 search results - page 41 / 871
» Increasing Kolmogorov Complexity
Sort
View
LICS
2002
IEEE
14 years 1 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook
EURODAC
1994
IEEE
112views VHDL» more  EURODAC 1994»
14 years 24 days ago
The use of semantic information for control of a complex routing tool
To handle increasingly complex design data, CAD tools are becoming more specialised and complex and hence, more difficult to use. This paper describes an interactive system that h...
Michael Brown, Nick Filer, Zahir Moosa
WETICE
2006
IEEE
14 years 2 months ago
Modelling of Complex Supply Networks
In order to capture the increased complexity of products and production processes as well as market requirements, collaboration models representing organisational networks enable ...
Georg Weichhart, Christian Stary, Stefan Oppl
CGO
2004
IEEE
14 years 12 days ago
VHC: Quickly Building an Optimizer for Complex Embedded Architectures
To meet the high demand for powerful embedded processors, VLIW architectures are increasingly complex (e.g., multiple clusters), and moreover, they now run increasingly sophistica...
Michael Dupré, Nathalie Drach, Olivier Tema...
FOCS
2010
IEEE
13 years 6 months ago
On the Computational Complexity of Coin Flipping
Coin flipping is one of the most fundamental tasks in cryptographic protocol design. Informally, a coin flipping protocol should guarantee both (1) Completeness: an honest executi...
Hemanta K. Maji, Manoj Prabhakaran, Amit Sahai