Sciweavers

1453 search results - page 158 / 291
» Partial Constraint Satisfaction
Sort
View
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 4 months ago
The complexity of positive first-order logic without equality
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...
Florent R. Madelaine, Barnaby Martin
NPL
1998
87views more  NPL 1998»
15 years 4 months ago
Constrained Learning in Neural Networks: Application to Stable Factorization of 2-D Polynomials
Adaptive artificial neural network techniques are introduced and applied to the factorization of 2-D second order polynomials. The proposed neural network is trained using a const...
Stavros J. Perantonis, Nikolaos Ampazis, Stavros V...
AUTOMATICA
2010
98views more  AUTOMATICA 2010»
15 years 4 months ago
Explicit use of probabilistic distributions in linear predictive control
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
Basil Kouvaritakis, Mark Cannon, Sasa V. Rakovic, ...
ICDE
1999
IEEE
151views Database» more  ICDE 1999»
16 years 5 months ago
Data Integration by Describing Sources with Constraint Databases
We develop a data integration approach for the efficient evaluation of queries over autonomous source databases. The approach is based on some novel applications and extensions of...
Xun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su
OTM
2005
Springer
15 years 10 months ago
Maintaining Global Integrity in Federated Relational Databases Using Interactive Component Systems
The maintenance of global integrity constraints in database federations is still a challenge since traditional integrity constraint management techniques cannot be applied to such ...
Christopher Popfinger, Stefan Conrad