Sciweavers

CORR
2007
Springer
132views Education» more  CORR 2007»
13 years 7 months ago
Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals
Data analysis applications typically aggregate data across many dimensions looking for anomalies or unusual patterns. The SQL aggregate functions and the GROUP BY operator produce ...
Jim Gray, Surajit Chaudhuri, Adam Bosworth, Andrew...
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 7 months ago
Logic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
Pascal Tesson, Denis Thérien
CORR
2007
Springer
92views Education» more  CORR 2007»
13 years 7 months ago
Characterization of Rate Region in Interference Channels with Constrained Power
Hajar Mahdavi-Doost, Masoud Ebrahimi, Amir K. Khan...
CORR
2007
Springer
153views Education» more  CORR 2007»
13 years 7 months ago
Power-Bandwidth Tradeoff in Dense Multi-Antenna Relay Networks
— We consider a dense fading multi-user network with multiple active multi-antenna source-destination pair terminals communicating simultaneously through a large common set of K ...
Ozgur Oyman, Arogyaswami Paulraj
CORR
2007
Springer
123views Education» more  CORR 2007»
13 years 7 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 7 months ago
Dirac Notation, Fock Space and Riemann Metric Tensor in Information Retrieval Models
Using Dirac Notation as a powerful tool, we investigate the three classical Information Retrieval (IR) models and some their extensions. We show that almost all such models can be...
Xing M. Wang
CORR
2007
Springer
90views Education» more  CORR 2007»
13 years 7 months ago
Predicate Abstraction with Under-approximation Refinement
Corina S. Pasareanu, Radek Pelánek, Willem ...