All search results for . 15861-15870 of 20227 results.
Autonomous Computing and Agents for Information & Knowledge Processing
......
15th International Conference on Automated Planning and Scheduling (ICAPS)
...To submit a workshop proposal, organizers must provide the following information...
DIMACS Workshop on Theft in E-Commerce: Content, Identity, and Service
...On April 14-15, 2005, we will hold a DIMACS workshop at Rutgers University, NJ, ...
Autonomous Computing and Agents for Business and Engineering Systems
......
CP-AI-OR 2005
...2nd International Conference on Integration of AI and OR Techniques in ...
The 3rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Network
...The complexity of mobile, ad hoc, and wireless networks requires thoroughly...
Agent-based Systems for Autonomous Processing
......
CAV'05 Workshop
...Both the Formal Verification community and the Automated Reasoning community ...
Business Process Management
...An outstanding speaker line up of leading organisations will explore a useful ...
4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
...OBJECTIVES: The growing importance of automated formal verification in industry ...