As a general framework to determine a collision-free feedback motion strategies, the Random Neighborhood Graph (RNG) approach [19] defines a global navigation function over an ap...
—This paper proposes an analytical study which aims at evaluating the received power statistics in DS-CDMA cellular systems which use a closed-loop power control scheme to compen...
Andrea Abrardo, Giuliano Benelli, Giovanni Giamben...
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
Many current human face detection algorithmsmake implicit assumptions about the scale, orientation or viewpoint of faces in an image and exploit these constraints to detect and lo...
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...