1025 search results - page 150 / 205 » Improved Behaviour of Tries by the |
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper presents an analysis of the extended Kalman filter formulation of simultaneous localisation and mapping (EKF-SLAM). We show that the algorithm produces very optimis...