4266 search results - page 487 / 854 » Search for More Declarativity |
142
click to vote
CEC
2007
IEEE
2007
IEEE
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers
15 years 10 months ago
The combination of low-thrust propulsion and gravity assists allows designing high-energy missions. However the optimization of such trajectories is no trivial task. In this paper,...
167
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
160
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Advances in technological support for augmented personal memories make possible new ways of enhancing the process of product recommendation. Instead of simply analyzing information...
184
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...
133
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous papers we proposed an algorithm for real parameter optimization called the Aggregation Pheromone System (APS). The APS replaces pheromone trails in traditiona...