Sciweavers

3136 search results - page 438 / 628
» Genetic programming theory
Sort
View
ICIC
2007
Springer
16 years 19 days ago
Usage of Hybrid Neural Network Model MLP-ART for Navigation of Mobile Robot
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
Andrey Gavrilov, Sungyoung Lee
LPAR
2007
Springer
16 years 19 days ago
Why Would You Trust B ?
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
Éric Jaeger, Catherine Dubois
VL
2006
IEEE
16 years 15 days ago
Using Visual Momentum to Explain Disorientation in the Eclipse IDE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
Brian de Alwis, Gail C. Murphy
ATAL
2005
Springer
16 years 1 days ago
Model generation for PRS-like agents
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
Wayne Wobcke, Marc Chee, Krystian Ji
ICCS
2005
Springer
16 years 9 hour ago
A Fuzzy Index Tracking Portfolio Selection Model
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
Yong Fang, Shouyang Wang