Sciweavers

2482 search results - page 31 / 497
» Analysis and Presentation of Results for Mobile Local Search
Sort
View
AUSAI
2007
Springer
15 years 3 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
JSAT
2008
113views more  JSAT 2008»
14 years 11 months ago
Combining Adaptive and Dynamic Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 6 months ago
Modeling and motion stability analysis of skid-steered mobile robots
Abstract— Skid-steered mobile robots are widely used because of the simplicity of mechanism and high reliability. However, understanding of the kinematics and dynamics of such a ...
Hongpeng Wang, Junjie Zhang, Jingang Yi, Dezhen So...
LOCA
2007
Springer
15 years 6 months ago
Localizing Tags Using Mobile Infrastructure
This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure....
Ying Zhang, Kurt Partridge, Jim Reich
JSW
2006
76views more  JSW 2006»
14 years 11 months ago
Variable Neighbourhood Search for Job Shop Scheduling Problems
Variable Neighbourhood Search (VNS) is one of the most recent metaheuristics used for problem solving in which a systematic change of neighbourhood within a local search is carried...
Mehmet Sevkli, Mehmet Emin Aydin