All search results for . 6911-6920 of 20329 results.
SPAA 2005 Final Call for Papers / 17th ACM Symposium on Parallelism in Algorithms and Architectures
...The 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures (...
CP-AI-OR 2005
...2nd International Conference on Integration of AI and OR Techniques in ...
International Conference on Intellectual Capital, Knowledge Management and Organisational Learning
...ICICKM provides an opportunity for academics and practitioners from North ...
The 16th IFAC World Congress
......
Workshop on Learning with Logics and Logics for Learning
...Logic is still a fundamental and useful representation for knowledge in ...
MANAGING MODERN ORGANIZATIONS WITH INFORMATION TECHNOLOGY (16th IRMA International Conference)
......
4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
...OBJECTIVES: The growing importance of automated formal verification in industry ...
The First Euro Conference on Mobile Government (The EURO, mGOV 2005)
......
14th YOUNG OR CONFERENCE
......
1st International Satisfiability Modulo Theories Competition (SMT-COMP'05)
...Decision procedures for checking satisfiability of logical formulas are crucial ...