Optimal path planning problems for rigid and deformable (bendable) cuboid robots are considered by providing an analytic safety constraint using generalized Lp norms. For regular cuboid robots, level sets of weighted Lp norms generate implicit approximations of their surfaces. For bendable cuboid robots a weighted Lp norm in polar coordinates implicitly approximates the surface boundary through...

The block-matching algorithm is the most popular motion compensation technique in video coding. However, it cannot provide acceptable quality at very low bit rate. In this paper, a new mesh-based motion compensation method is proposed to attack the problem. First, a regular non-uniform mesh, which has regular structure with variable patch size, is presented. The patch size is varied according t...

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be a subcoalgebra of the final coalgebra. Inspired by Ésik and Maletti’s notion of proper semiring, we introduce the notion of a proper functor. We show that for proper functors the rati...

We define the weighted Bartholdi zeta function of a graph G, and give a determinant expression of it. Furthermore, we define a weighted L-function of G, and present a determinant expression for the weighted L-function of G. As a corollary, we show that the weighted Bartholdi zeta function of a regular covering of G is a product of weighted L-functions of G. © 2005 Elsevier Ltd. All rights reser...

Internet worms are a growing menace due to their increasing sophistication and speed of propagation. In this paper, we present a new worm detection scheme, History-based IP Worm Detection. It uses the difference in the distribution of source addresses between regular users and scanning hosts to distinguish between worm probes and normal accesses. This property is used to implement a weighted so...