The following pages link to Serge Muller (Q1272616):
Displaying 3 items.
- Automated synthesis of recursive programs from a \(\forall\exists\) logical specification (Q1272617) (← links)
- Fast fuzzy connected filter implementation using max-tree updates (Q2269180) (← links)
- SIMILARITY AND PROTOTYPE-BASED APPROACH FOR CLASSIFICATION OF MICROCALCIFICATIONS (Q4508702) (← links)
