All search results for . 2491-2500 of 20010 results.

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

DIMACS Workshop on Computational Issues in Auction Design
...Recent advances in information technology and its rapid acceptance by the ...

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

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

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

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

1st International Workshop on Mobility Aware Technologies and Applications
...The aim of the workshop is to provide an opportunity for researchers from the IT...

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

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

The 2006 Federated Logic Conference
...In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the ...