894 search results - page 107 / 179 » Optimizations for LTL Synthesis |
100
Voted
ASPDAC
1995
ACM
15 years 4 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
107
click to vote
AUTOMATICA
2007
15 years 26 days ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
106
click to vote
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
Two important signal processing problems in the display side of a holographic 3DTV are the computation of the diffraction field of a 3D object from its abstract representation, an...
84
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we demonstrate that pressure for robustness combined with function sets containing redundant genes can cause an evolutionary system to avoid a more fit solution in f...
87
Voted
EUROGP
2008
Springer
15 years 2 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...