Sciweavers

923 search results - page 39 / 185
» On the Computation of Relational View Complements
Sort
View
PVLDB
2008
123views more  PVLDB 2008»
14 years 11 months ago
Propagating functional dependencies with conditions
The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold...
Wenfei Fan, Shuai Ma, Yanli Hu, Jie Liu, Yinghui W...
ISCAS
2003
IEEE
98views Hardware» more  ISCAS 2003»
15 years 5 months ago
Dynamic operand transformation for low-power multiplier-accumulator design
: The design of portable battery-operated devices requires low-power computation circuits. This paper presents a new multiplier-accumulator (MAC) design approach, which in contrast...
Masayoshi Fujino, Vasily G. Moshnyaga
ER
2006
Springer
118views Database» more  ER 2006»
15 years 3 months ago
Towards a Reference Ontology for Business Models
Ontologies are viewed as increasingly important tools for structuring domains of intrests. In this paper we propose a reference ontology of business models using concepts from thre...
Birger Andersson, Maria Bergholtz, Ananda Edirisur...
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 12 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
ICCVW
1999
Springer
15 years 4 months ago
Direct Recovery of Planar-Parallax from Multiple Frames
In this paper we present an algorithm that estimates dense planar-parallax motion from multiple uncalibrated views of a 3D scene. This generalizes the \plane + parallax" recov...
Michal Irani, P. Anandan, Meir Cohen