Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
In this paper we propose a new kind of nonlinear and geometry driven subdivision scheme for curve interpolation. Instead of using linear combination of old vertexes, displacement ...
We discuss the human role in hydropower system control, noting how it is different from other supervisory control environments and the typical shortcomings in current displays pro...
We propose an exact solution method for a routing and capacity installation problem in networks. Given an input graph, the problem is to route traffic from a set of source nodes t...
—The distance transform has found many applications in image analysis. Chamfer distance transforms are a class of discrete algorithms that offer a good approximation to the desir...