this paper develops an automatic parking algorithm based on a fuzzy logic controller with the vehicle pose for the input and the steering angle for the output. in this way some feasible reference trajectory path have been introduced according to geometric and kinematic constraints and nonholonomic constraints to simulate motion path of car. also a novel method is used for parking space detectio...

This paper gives an overview of a prototype implementation of a fragment of the logic Linc [5, 8, 13] (also referred to as FOλ∆∇ in [5]), which we tentatively call ‘Level 0/1 Prover’ here. This implementation is part of a larger project, Parsifal, at INRIA Futurs (see http://www.lix.polytechnique.fr/~dale/parsifal). The logic Linc is an extension of first-order intuitionistic logic with a proof...

Various forms of typed λ-calculi have been proposed as specification languages for representing wide varieties of object logics. The logical framework, LF, is an example of such a dependent-type λ-calculus. A small subset of intuitionistic logic with quantification over simply typed λ-calculus has also been proposed as a framework for specifying general logics. The logic of hereditary Harrop fo...

Temporal-difference (TD) learning is an important field in reinforcement learning. Sarsa and Q-Learning are among the most used TD algorithms. The Q(σ) algorithm (Sutton and Barto (2017)) unifies both. This paper extends the Q(σ) algorithm to an online multi-step algorithm Q(σ, λ) using eligibility traces and introduces Double Q(σ) as the extension of Q(σ) to double learning. Experiments sugges...

terframe motion estimation/compensation can select the most suitable encoding mode from seven modes (16×16, 16×8, 8×16, 8×8, 8×4, 4×8 and 4×4) by the method of Lagrangian rate-distortion (RD) optimization. The Lagrangian function is shown in eq.(1), To improve the coding efficiency, many optional macroblock encoding modes have been provided in H.264/AVC video coding standard. Exhaustively searc...

We introduce the notion of λ-regularities in strings that consist of λ-covers and λ-seeds, and study three λ-regularities problems— the λ-cover problem, the general λ-cover problem and the λ-seed problem in this paper. λ-regularities can be viewed as generalized string regularities in the sense that a set of λ repetitive strings rather than a single repeated string are considered. We first pres...

This paper presents designing an optimal adaptive controller for tracking control of robot manipulators based on particle swarm optimization (PSO) algorithm. PSO algorithm has been employed to optimize parameters of the controller and hence to minimize the integral square of errors (ISE) as a performance criteria. In this paper, an improved PSO using logic is proposed to increase the convergenc...