Sciweavers

1067 search results - page 34 / 214
» Problem Solving in the DISCO Constraint Database System
Sort
View
ER
1987
Springer
78views Database» more  ER 1987»
14 years 8 days ago
Entity-Relationship Database User Interfaces
We report on experience with database user interfaces that are entity-relationship oriented, rather than relation-oriented, and provide a new level of ease-of-use for information ...
T. R. Rogers, R. G. G. Cattell
EDBT
2012
ACM
228views Database» more  EDBT 2012»
11 years 11 months ago
Towards scalable data integration under constraints
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
George Konstantinidis, José Luis Ambite
CAD
1999
Springer
13 years 8 months ago
Geometric constraint satisfaction using optimization methods
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton
Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao
ENTCS
2008
85views more  ENTCS 2008»
13 years 8 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
ICASSP
2009
IEEE
14 years 19 days ago
Detection of sparse signals under finite-alphabet constraints
In this paper, we solve the problem of detecting the entries of a sparse finite-alphabet signal from a limited amount of data, for instance obtained by compressive sampling. While...
Zhi Tian, Geert Leus, Vincenzo Lottici