Sciweavers

5064 search results - page 902 / 1013
» Recent Developments in Gridsolve
Sort
View
IJCAI
2003
15 years 6 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
WSC
2004
15 years 6 months ago
"One" a New Tool for Supply Chain Network Optimization and Simulation
Nowadays, in a hotly competitive environment, companies are continuously trying to provide products and/or services to customers faster, cheaper, and better than the competitors d...
Hongwei Ding, Lyès Benyoucef, Xiaolan Xie, ...
WSCG
2004
148views more  WSCG 2004»
15 years 6 months ago
Visualization of Dynamic Behaviour of Multi-Agent Systems
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
David Rehor, Pavel Slavík, David Kadlecek, ...
MRC
2003
197views Robotics» more  MRC 2003»
15 years 6 months ago
Blue Swarm 2.5: A Step Toward an Autonomous Swarm of Search and Rescue Robots
Urban search and rescue is a difficult domain for autonomous mobile robots to operate in. The environment can be expected to be highly unstructured, with many obstacles and hazard...
Daniel P. Stormont, Matthew D. Berkemeier
WSC
1998
15 years 6 months ago
Emulation of a Material Delivery System
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
Todd LeBaron, Kelly Thompson