Sciweavers

5482 search results - page 657 / 1097
» Logic Programming and Databases
Sort
View
175
Voted
ISMVL
2008
IEEE
122views Hardware» more  ISMVL 2008»
16 years 1 months ago
RevLib: An Online Resource for Reversible Functions and Reversible Circuits
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
Robert Wille, Daniel Große, Lisa Teuber, Ger...
DOLAP
2006
ACM
16 years 25 days ago
Research in data warehouse modeling and design: dead or alive?
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
Stefano Rizzi, Alberto Abelló, Jens Lechten...
ECAI
2004
Springer
16 years 7 days ago
Preferences for Queries in a Mediator Approach
The problem of integrating relevant information obtained from multiple heterogeneous sources is a complex task, with which biologists are now faced. In this paper, we address the p...
Alain Bidault, Sarah Cohen Boulakia, Christine Fro...
DAWAK
2003
Springer
16 years 2 days ago
CPM: A Cube Presentation Model for OLAP
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...
Andreas S. Maniatis, Panos Vassiliadis, Spiros Ski...
BIRTHDAY
1997
Springer
15 years 11 months ago
Expressive Power of Unary Counters
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
Michael Benedikt, H. Jerome Keisler