894 search results - page 170 / 179 » Optimizations for LTL Synthesis |
120
click to vote
GECCO
2006
Springer
15 years 4 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...
102
Voted
DAC
2005
ACM
15 years 2 months 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 ...
97
Voted
FUIN
2008
15 years 15 days 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...
94
Voted
AUTOMATICA
1999
15 years 4 days 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...
113
Voted
CVPR
2004
IEEE
16 years 2 months 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...