5600 search results - page 219 / 1120 » Synthesizing robust systems |
CDC
2008
IEEE
14 years 4 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...
SIGGRAPH
1997
ACM
14 years 1 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...
GECCO
2008
Springer
13 years 10 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...
ICDE
2004
IEEE
14 years 11 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...
IROS
2006
IEEE
14 years 3 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...