All search results for . 18691-18700 of 20548 results.

SIXTH INTERNATIONAL CONFERENCE ON MONTE CARLO AND QUASI-MONTE CARLO METHODS IN SCIENTIFIC COMPUTING
...This conference will bring together experts in the fields of mathematics...

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

WAOA 2005 Third Workshop on Approximation and Online Algorithms
...SCOPE: Approximation and online algorithms are fundamental tools that deal with ...

Clustering High-Dimensional Data and its Applications
...The workshop is devoted to clustering high-dimensional data...

MML 2004 - Mathematical methods for learning: advances in knowledge discovery and data mining
...The aim of the conference "MML 2004 - Mathematical Methods for Learning: ...

Challenges for Industrial Production
...Sessions of the workshop concentrate on research and industry applications in ...

WORKSHOP ON OPTIMIZATION IN MEDICINE
...The study of computing in medical applications has opened many challenging...

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

ICALP'05 32nd International Colloquium on Automata, Languages and Programming
...The 32nd International Colloquium on Automata, Languages and Programming, the ...

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