Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,291,042 papers from all fields of science
Search
Sign In
Create Free Account
Transition constraint
A transition constraint is a way of enforcing that the data does not enter an impossible state because of a previous state. For example, it should…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Broader (1)
Data modeling
Database model
Trusted system
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Novel Net Weighting Algorithm for Power and Timing-Driven Placement
Mohamed Chentouf
,
Zine El Abidine Alaoui Ismaili
VLSI design (Print)
2018
Corpus ID: 56483064
Nowadays, many new low power ASICs applications have emerged. This new market trend made the designer’s task of meeting the…
Expand
2017
2017
Evaluating the Impact of Max Transition Constraint Variations on Power Reduction Capabilities in Cell-Based Designs
Mohamed Chentouf
,
Alaoui Ismaili Zine El Abidine
2017
Corpus ID: 32944252
Power optimization is a very important and challenging step in the physical design flow, and it is a critical success factor of…
Expand
Highly Cited
2015
Highly Cited
2015
Fuzzy-Logic-Based Terrain Identification with Multisensor Fusion for Transtibial Amputees
Kebin Yuan
,
Qining Wang
,
Long Wang
IEEE/ASME transactions on mechatronics
2015
Corpus ID: 27472786
Terrain identification is essential for the control of robotic transtibial prostheses to realize smooth locomotion transitions…
Expand
2014
2014
The Markov Transition Constraint
Michael Morin
,
Claude-Guy Quimper
Integration of AI and OR Techniques in Constraint…
2014
Corpus ID: 17478609
We introduce a novel global Markov transition constraint (Mtc) to model finite state homogeneous Markov chains. We present two…
Expand
2012
2012
Single Transition Constraint for XML Update Validation
Norfaradilla Wahid
,
Eric Pardede
International Conference on Network-Based…
2012
Corpus ID: 16340778
In this paper, we propose a checking algorithm for dynamic constraint validation during XML updates. Our algorithm is targeted at…
Expand
Review
2008
Review
2008
Automatic Verification of Combined Specifications: An Overview
E. Olderog
TTSS
2008
Corpus ID: 33476334
2002
2002
Modelling Resource Transitions in Constraint-Based Scheduling
R. Barták
Conference on Current Trends in Theory and…
2002
Corpus ID: 7260762
Constraint-based scheduling is an approach for solving scheduling problems using constraint satisfaction techniques. Its main…
Expand
2002
2002
Modelling Transition Constraints
R. Barták
2002
Corpus ID: 15293515
Scheduling problems belong to a very successful application area of constraint programming partially thanks to many specialised…
Expand
1994
1994
A new Concept of Refinement used for Behaviour Modelling with Automata
Barbara Paech
,
Bernhard Rumpe
FME
1994
Corpus ID: 267920337
This paper introduces a new approach of using automata to model behaviour of objects. Automata allow to design a software model…
Expand
1994
1994
Database updates and transition constraints: A formula‐based approach
L. Cholvy
International Journal of Intelligent Systems
1994
Corpus ID: 13013052
This paper deals with database updates. More precisely we focus on addition and deletion operations, when transition constraints…
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