5600 search results - page 219 / 1120 » Synthesizing robust systems |
108
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
143
click to vote
SIGGRAPH
1997
ACM
15 years 6 months ago
1997
ACM
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
160
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, a multiobjective (MO) learning approach to image feature extraction is described, where Pareto-optimal interest point (IP) detectors are synthesized using genetic p...
195
click to vote
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
114
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...