894 search results - page 170 / 179 » Optimizations for LTL Synthesis |
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
DAC
2005
ACM
15 years 23 days ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
FUIN
2008
14 years 11 months ago
2008
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
AUTOMATICA
1999
14 years 10 months ago
1999
We consider stability analysis and state feedback synthesis for Linear Parameter Varying (LPV) systems. LPV systems are de"ned as linear systems whose dynamics depend on exog...
CVPR
2004
IEEE
16 years 24 days ago
2004
IEEE
Model-based clustering of motion trajectories can be posed as the problem of learning an underlying mixture density function whose components correspond to motion classes with dif...