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.
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
Is this relevant?
2017
2017
In this paper, we study the process of physical state transition in the embedded system. The key to dramatically increase the… Expand
Is this relevant?
2015
2015
Terrain identification is essential for the control of robotic transtibial prostheses to realize smooth locomotion transitions… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2005
2005
Research Interests My primary research area is Human Computer Interaction. My research focuses on supporting exploration… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
1994
1994
This paper introduces a new approach of using automata to model behaviour of objects. Automata allow to design a software model… Expand
Is this relevant?