Sciweavers

10604 search results - page 1810 / 2121
» Computational Fluid Dynamics
Sort
View
FSTTCS
2005
Springer
15 years 9 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
GCC
2005
Springer
15 years 9 months ago
Knowledge Acquisition Based on the Global Concept of Fuzzy Cognitive Maps
Combination of prior knowledge and implicit knowledge hidden in the data of system can enhance the quality of information services in Knowledge Grid. Fuzzy Cognitive Maps (FCMs) ar...
Xiangfeng Luo
GCC
2005
Springer
15 years 9 months ago
Query Optimization in Database Grid
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
Xiaoqing Zheng, Huajun Chen, Zhaohui Wu, Yuxin Mao
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
15 years 9 months ago
Comparing multicast and newscast communication in evolving agent societies
This paper investigates the effects of two different communication protocols within an artificial society, where communication and cooperation is necessary to survive. Communicat...
A. E. Eiben, Martijn C. Schut, T. Toma
GECCO
2005
Springer
204views Optimization» more  GECCO 2005»
15 years 9 months ago
Modeling systems with internal state using evolino
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...
Daan Wierstra, Faustino J. Gomez, Jürgen Schm...
« Prev « First page 1810 / 2121 Last » Next »