Sciweavers

4397 search results - page 369 / 880
» Relational Algebra Operations
Sort
View
COCO
2009
Springer
117views Algorithms» more  COCO 2009»
16 years 22 days ago
The Proof Complexity of Polynomial Identities
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
Pavel Hrubes, Iddo Tzameret
166
Voted
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
Ajay K. Verma, Paolo Ienne
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
15 years 10 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira
288
Voted
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
15 years 7 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...
179
Voted
SIAMSC
2010
116views more  SIAMSC 2010»
15 years 4 months ago
Recursively Accelerated Multilevel Aggregation for Markov Chains
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
Hans De Sterck, K. Miller, G. Sanders, M. Winlaw