Results 191 to 200 of about 6,062,625 (214)
Parameterized Synthesis with Safety Properties
Lecture Notes in Computer Science, 2020 Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed protocols where the amount of processes is ...
Muhammad Najib +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Parameterized Facial Expression Synthesis for Videoconferencing Applications
2015In this paper we propose a method of creating intermediate facial expressions based on primary ones [1]. To achieve this goal we utilize both Facial Definition Parameters (FDPs) and Facial Animation Parameters (FAPs). We introduce a way for modeling the primary expressions using FAPs and we describe a rule-based technique for the synthesis of ...
Tsapatsoulis, Nicolas +2 more
openaire +1 more source
On the Parameterized Complexity of d-Restricted Boolean Net Synthesis
Lecture Notes in Computer Science, 2020Ronny Tredup
exaly
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes
IEEE Transactions on Software Engineering, 2021Ali Ebnenasir
exaly
On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
Theoretical Computer Science, 2021Ronny Tredup
exaly
PARTY Parameterized Synthesis of Token Rings
Lecture Notes in Computer Science, 2013Roderick Bloem +2 more
exaly