Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Nowadays, many new low power ASICs applications have emerged. This new market trend made the designer’s task of meeting the… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
2017
2017
Conventional coupled dictionary learning approaches are designed for noiseless image super-resolution (SR), but quite sensitive… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
2017
2017
Power optimization is a very important and challenging step in the physical design flow, and it is a critical success factor of… Expand
  • figure 2
  • figure 2
  • table 1
  • figure 3
  • figure 4
2014
2014
We introduce a novel global Markov transition constraint (Mtc) to model finite state homogeneous Markov chains. We present two… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
2012
2012
In this paper, we propose a checking algorithm for dynamic constraint validation during XML updates. Our algorithm is targeted at… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 8
2007
2007
This thesis presents an extension of deductive model checking that uses phase event automata to verify, if a given reactive… Expand
  • figure 2.3
  • figure 3.1
  • figure 3.2
  • figure 4.1
  • figure 5.2
2002
2002
Scheduling problems belong to a very successful application area of constraint programming partially thanks to many specialised… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2002
2002
Constraint-based scheduling is an approach for solving scheduling problems using constraint satisfaction techniques. Its main… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1994
Highly Cited
1994
This paper introduces a new approach of using automata to model behaviour of objects. Automata allow to design a software model… Expand
1994
1994
  • L. Cholvy
  • Int. J. Intell. Syst.
  • 1994
  • Corpus ID: 13013052
This paper deals with database updates. More precisely we focus on addition and deletion operations, when transition constraints… Expand