— This paper addresses a method to optimize the robot motion planning in dynamic environments, avoiding the moving and static obstacles while the robot drives towards the goal. T...
We have described previously a method of automatically constructing statistical models of shape. The method treats model-building as an optimisation problem by re-parameterising ea...
Rhodri H. Davies, Carole J. Twining, Christopher J...
Some issues on direct-projected augmented reality (DirectAR) are addressed: the projection may be geometrically distorted due to the non-planar surface (geometric distortion); the ...
Hanhoon Park, Moon-Hyun Lee, Sang-Jun Kim, Jong-Il...
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...