Travelled to:
1 × Germany
1 × Italy
1 × Spain
1 × USA
Collaborated with:
S.Abdennadher A.Bykowski M.Leleu J.Boulicaut G.Euvrard
Talks about:
constraint (3) pattern (2) solver (2) use (2) represent (1) confluenc (1) synthesi (1) sequenti (1) frequent (1) consecut (1)
Person: Christophe Rigotti
DBLP: Rigotti:Christophe
Contributed to:
Wrote 4 papers:
- MLDM-2003-LeleuRBE #dataset #mining #named
- GO-SPADE: Mining Sequential Patterns over Datasets with Consecutive Repetitions (ML, CR, JFB, GE), pp. 293–306.
- LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using
- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
- PODS-2001-BykowskiR #representation
- A condensed representation to find frequent patterns (AB, CR).
- PPDP-2001-AbdennadherR #confluence #constraints #rule-based #theorem proving #using
- Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.