Sciweavers

1132 search results - page 12 / 227
» Structure in Average Case Complexity
Sort
View
FROCOS
2007
Springer
16 years 18 days ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
193
Voted
DCOSS
2011
Springer
14 years 6 months ago
A local average consensus algorithm for wireless sensor networks
—In many application scenarios sensors need to calculate the average of some local values, e.g. of local measurements. A possible solution is to rely on consensus algorithms. In ...
Konstantin Avrachenkov, Mahmoud El Chamie, Giovann...
FSTTCS
1991
Springer
15 years 10 months ago
Randomizing Reductions of Search Problems
This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...
Andreas Blass, Yuri Gurevich
MICRO
2003
IEEE
108views Hardware» more  MICRO 2003»
15 years 11 months ago
Reducing Design Complexity of the Load/Store Queue
With faster CPU clocks and wider pipelines, all relevant microarchitecture components should scale accordingly. There have been many proposals for scaling the issue queue, registe...
Il Park, Chong-liang Ooi, T. N. Vijaykumar
169
Voted
EWCBR
2006
Springer
15 years 10 months ago
Complexity Profiling for Informed Case-Base Editing
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
Stewart Massie, Susan Craw, Nirmalie Wiratunga