Travelled to:1 × Austria
1 × France
1 × Italy
1 × USA
Collaborated with:Y.Hodé ∅ M.Dauchet R.Gilleron
Talks about:ground (2) imag (2) threshold (1) reachabl (1) approach (1) theorem (1) segment (1) problem (1) extract (1) consist (1)
Person: Aline Deruyver
DBLP: Deruyver:Aline
Contributed to:
2011
1996
19911989
1989Wrote 5 papers:
- KDIR-2011-DeruyverH #approach #consistency #graph #image #information management #semantics
- Semantic Graphs and Arc Consistency Checking — The Renewal of an Old Approach for Information Extraction from Images (AD, YH), pp. 515–522.
- ICPR-1996-DeruyverH #automation #image #multi #segmentation #using
- Automatic multi-thresholdable image segmentation by using separating bipoints (AD, YH), pp. 457–461.
- RTA-1991-Deruyver #equation #first-order #logic #named #proving #theorem proving
- EMMY: A Refutational Theorem Prover for First-Order Logic with Equation (AD), pp. 439–441.
- RTA-1989-DauchetD #compilation #term rewriting
- Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
- CAAP-1989-DeruyverG #problem #reachability
- The Reachability Problem for Ground TRS and Some Extensions (AD, RG), pp. 227–243.