3357 search results - page 230 / 672 » Controlling Complexity |
156
click to vote
ATVA
2004
Springer
15 years 12 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
159
click to vote
LCN
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a protocol for packet switched optical LANs using a star topology. The key element in this network is the use of an intelligent hub, which controls the traffic...
160
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
This paper proposes a new method for remeshing a surface into anisotropically sized quads. The basic idea is to construct a special standing wave on the surface to generate the gl...
194
click to vote
CONNECTION
2004
15 years 6 months ago
2004
The Artificial Life approach to Evolutionary Robotics is used as a fundamental framework for the development of a modular neural control of autonomous mobile robots. The applied e...