Sciweavers

4103 search results - page 304 / 821
» Some results on the Collatz problem
Sort
View
172
Voted
IROS
2006
IEEE
105views Robotics» more  IROS 2006»
16 years 26 days ago
A Robocentric Motion Planner for Dynamic Environments Using the Velocity Space
— 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...
Eduardo Owen, Luis Montano
ISBI
2006
IEEE
16 years 26 days ago
Consistent spherical parameterisation for statistical shape modelling
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...
ACCV
2006
Springer
16 years 25 days ago
Surface-Independent Direct-Projected Augmented Reality
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...
ACL2
2006
ACM
16 years 25 days ago
Double rewriting for equivalential reasoning in ACL2
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...
Matt Kaufmann, J. Strother Moore
ETFA
2005
IEEE
16 years 14 days ago
Decentralized supervisory control of Petri nets with monitor places
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...
Francesco Basile, Alessandro Giua, Carla Seatzu