BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Deruyver:Aline

Contributed to:

KDIR 20112011
ICPR 19961996
RTA 19911991
RTA 19891989
TAPSOFT, Vol.1: CAAP 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.