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â€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Mohamed Chentouf, Alaoui Ismaili, Zine El Abidine
- 2017

Power optimization is a very important and challenging step in the physical design flow, and it is a critical success factor ofâ€¦Â (More)

Is this relevant?

2017

2017

- Zhang Jing, Chen Yao, Sun Jun, Fan Hongbo
- 2017 29th Chinese Control And Decision Conferenceâ€¦
- 2017

In this paper, we study the process of physical state transition in the embedded system. The key to dramatically increase theâ€¦Â (More)

Is this relevant?

2017

2017

- Bo Yue, Shuang Wang, Xuefeng Liang, Licheng Jiao
- Signal Processing
- 2017

Conventional coupled dictionary learning approaches are designed for noiseless image super-resolution (SR), but quite sensitiveâ€¦Â (More)

Is this relevant?

2015

2015

- Kebin Yuan, Qining Wang, Long Wang
- IEEE/ASME Transactions on Mechatronics
- 2015

Terrain identification is essential for the control of robotic transtibial prostheses to realize smooth locomotion transitionsâ€¦Â (More)

Is this relevant?

2014

2014

- Michael Morin, Claude-Guy Quimper
- CPAIOR
- 2014

We introduce a novel global Markov transition constraint (Mtc) to model finite state homogeneous Markov chains. We present twoâ€¦Â (More)

Is this relevant?

2014

2014

- Takeshi Kobayakawa
- COLING
- 2014

Latent models for opinion classification are studied. Training a probabilistic model with a number of latent variables is foundâ€¦Â (More)

Is this relevant?

2012

2012

- Norfaradilla Wahid, Eric Pardede
- 2012 15th International Conference on Networkâ€¦
- 2012

In this paper, we propose a checking algorithm for dynamic constraint validation during XML updates. Our algorithm is targeted atâ€¦Â (More)

Is this relevant?

2007

2007

- Dominik Brill
- 2007

This thesis presents an extension of deductive model checking that uses phase event automata to verify, if a given reactiveâ€¦Â (More)

Is this relevant?

2004

2004

- Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, David Hutchison, Mark Wallace Ed
- Lecture Notes in Computer Science
- 2004

Transitions. We used a fixed finite set of expressions over states (which are constraints in unprimed variables) to partition theâ€¦Â (More)

Is this relevant?

2002

2002

- Roman BartÃ¡k
- 2002

Scheduling problems belong to a very successful application area of constraint programming partially thanks to many specialisedâ€¦Â (More)

Is this relevant?