Sciweavers

2482 search results - page 31 / 497
» Analysis and Presentation of Results for Mobile Local Search
Sort
View
AUSAI
2007
Springer
15 years 10 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...
180
Voted
JSAT
2008
113views more  JSAT 2008»
15 years 6 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...
161
Voted
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
16 years 22 days 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
16 years 7 days 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»
15 years 6 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