In this paper an evolutionary algorithm is used for evolving gaits in a walking biped robot controller. The focus is fast learning in a real-time environment. An incremental appro...
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
Karl Iagnemma, Robert Burn, Eric Wilhelm, Steven D...
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
This paper proposes a novel and successful method for recognizing palmprint based on radial basis probabilistic neural network (RBPNN) proposed by us. The RBPNN is trained by the ...
Li Shang, De-Shuang Huang, Ji-Xiang Du, Chun-Hou Z...