Sciweavers

29908 search results - page 377 / 5982
» On the complexity of communication complexity
Sort
View
CSL
2007
Springer
16 years 29 days ago
Proofs, Programs and Abstract Complexity
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
Arnold Beckmann
186
Voted
IFL
2007
Springer
128views Formal Methods» more  IFL 2007»
16 years 29 days ago
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
LADS
2007
Springer
16 years 28 days ago
Measuring Complexity of Multi-agent Simulations - An Attempt Using Metrics
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
Franziska Klügl
FOCS
2006
IEEE
16 years 26 days ago
On the Quantum Query Complexity of Local Search in Two and Three Dimensions
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been...
Xiaoming Sun, Andrew Chi-Chih Yao
WETICE
2006
IEEE
16 years 24 days 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