Sciweavers

13987 search results - page 417 / 2798
» The Two Guards Problem
Sort
View
JAL
2002
86views more  JAL 2002»
15 years 6 months ago
Exploiting structure in quantified formulas
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...
Richard Edwin Stearns, Harry B. Hunt III
TMI
2002
147views more  TMI 2002»
15 years 6 months ago
Cortex Segmentation - A Fast Variational Geometric Approach
An automatic cortical gray matter segmentation from a three-dimensional (3-D) brain images [magnetic resonance (MR) or computed tomography] is a well known problem in medical image...
Roman Goldenberg, Ron Kimmel, Ehud Rivlin, Michael...
ACMSE
2010
ACM
15 years 5 months ago
Generating three binary addition algorithms using reinforcement programming
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...
Spencer K. White, Tony R. Martinez, George L. Rudo...
CEC
2009
IEEE
15 years 4 months ago
Optimization of low-thrust Earth-Moon transfers using evolutionary neurocontrol
Although low-thrust propulsion is an interesting option for scientific and reconnaissance missions to targets in planetary space, like the Moon, associated transfer strategies pose...
Andreas Ohndorf, B. Dachwald, E. Gill
CORR
2011
Springer
158views Education» more  CORR 2011»
15 years 1 months ago
Uniqueness domains and non singular assembly mode changing trajectories
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
Damien Chablat, Guillaume Moroz, Philippe Wenger