Login

Seminars

Dynamic Variable Elimination During Propagation Solving

Seminars

2010-12-10 11:30:00

Presenter

Christian Schulte,

Modeling components and behaviors with the CAB language

Seminars

2010-12-02 14:00:00

Presenter

Cinzia Di Giusto,

Measuring Application Functional Size using Static Analysis

Seminars

2010-11-30 14:00:00

Presenter

Ankica Barisic,

Modern Techniques for Constraint Solving: The CaSPER experience

Seminars

2010-11-24 14:00:00

A stemwinder about coin flips

Seminars

2010-11-17 14:00:00

Presenter

Gregory Wheeler,

Is transaction memory enough or do we need atomic conditional wait as well?

Seminars

2010-11-12 12:30:00

Presenter

Eitan Farchi,

Quality and Evolution: Some Relationships

Seminars

2010-11-03 14:00:00

Presenter

Michel Wermelinger,

RDBMS support for one-to-many data transformations

Seminars

2010-10-27 15:00:00

Presenter

Helena Galhardas,

Parametrized Logic Programming

Seminars

2010-10-20 14:00:00

Presenter

Ricardo Gonçalves,

Contextualized Knowledge Repositories for the Semantic Web

Seminars

2010-10-13 14:00:00

Presenter

Luciano Serafini,