All search results for . 12281-12290 of 21129 results.

DIMACS Workshop on Large-Scale Games
...On the Internet we have games with a large number of agents, asynchronous play, ...

The 11th ISPE International Conference on Concurrent Engineering: Research and Applications
......

Third German-Polish Conference on Optimization Methods and Applications
...The conference is organized by the Institutes of Mathematics of Technical ...

LARGE SCALE NONLINEAR OPTIMIZATION
...See the Web Site...

First Workshop on Formal Verification of Analog Circuits
...Scope:While formal verification has become part of the design process of digital...

1st International Satisfiability Modulo Theories Competition (SMT-COMP'05)
...Decision procedures for checking satisfiability of logical formulas are crucial ...

MIC2005: 6th Metaheuristics International Conference
...MIC2005Vienna aims at bringing together researchers in several fields (...

The 17th IMACS World Congress
......

IASTED International Conference on Databases and Applcations - DBA 2005
...DBA began as a symposium of the IASTED International Conference on AI (Applied ...

3rd Workshop on e-Learning (WEL'05)
...Aim and Main Points...