Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,455,458 papers from all fields of science
Search
Sign In
Create Free Account
Constraint inference
Known as:
Constraint composition
, Constraint projection
, Extended composition
In constraint satisfaction, constraint inference is a relationship between constraints and their consequences. A set of constraints entails a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (1)
Constraint programming
Constraint satisfaction
Constraint satisfaction problem
Hybrid algorithm (constraint satisfaction)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
SMT Solvers in Software Security
Julien Vanegue
,
S. Heelan
Workshop on Offensive Technologies
2012
Corpus ID: 7564365
Computational capacity of modern hardware and algorithmic advances have allowed SAT solving to become a tractable technique to…
Expand
2009
2009
Towards Semantic Event-Driven Systems
Kia Teymourian
,
Olga Streibel
,
A. Paschke
,
R. Alnemr
,
C. Meinel
International Conference on New Technologies…
2009
Corpus ID: 16122272
One of the critical success factors of event-driven systems is the capability of detecting complex events from simple and…
Expand
2009
2009
Selective Ensemble Algorithms of Support Vector Machines Based on Constraint Projection
Lei Wang
,
Yong Yang
International Symposium on Neural Networks
2009
Corpus ID: 36695959
This paper proposes two novel ensemble algorithms for training support vector machines based on constraint projection technique…
Expand
2008
2008
Constraint Projections for Ensemble Learning
Daoqiang Zhang
,
Songcan Chen
,
Zhi-Hua Zhou
,
Qiang Yang
AAAI Conference on Artificial Intelligence
2008
Corpus ID: 13076676
It is well-known that diversity among base classifiers is crucial for constructing a strong ensemble. Most existing ensemble…
Expand
2008
2008
Parallel hybrid algorithm for process flexibility analysis
Jeonghwa Moon
,
Kedar M. Kulkarni
,
Libin Zhang
,
A. Linninger
2008
Corpus ID: 14636376
Flexibility analysis is an important task for the optimal design and synthesis of chemical processes with uncertainty. It is a…
Expand
2005
2005
New strategic method to tune equation-of-state to match experimental data for compositional simulation
Ali Abdallah Al-Meshari
2005
Corpus ID: 112503473
New Strategic Method to Tune Equation-of-State to Match Experimental Data for Compositional Simulation. (December 2004) Ali…
Expand
2005
2005
Modeling of extremal fuzzy dynamic systems. Part III. Modeling of extremal and controllable extremal fuzzy processes
G. Sirbiladze
International Journal of General Systems
2005
Corpus ID: 33621480
New approaches in modeling the so-called extremal fuzzy dynamic systems (EFDSs) are developed. Applying the results of Parts I…
Expand
2000
2000
A novel methodology for hierarchical test generation using functional constraint composition
V. Vedula
,
J. Abraham
Proceedings IEEE International High-Level Design…
2000
Corpus ID: 43572871
The increasing functionality of processor designs has posed a severe challenge for generating high quality manufacturing tests…
Expand
1994
1994
Mutally Exclusive Rules in Logic Programming
Kjell Post
ILPS
1994
Corpus ID: 17698273
A technique to detect that pairs of rules are “mutually exclusive” in a logic program is described. In contrast to previous work…
Expand
1993
1993
Surrogate reasoning
J. Barwise
,
Atsushi Shimojima
1993
Corpus ID: 10623735
Surrogate reasoning is reasoning whose task is partially taken over by operations on external aids, such as sentences, diagrams…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE