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 × Brazil
1 × Canada
1 × France
1 × Italy
1 × Japan
1 × Korea
1 × Spain
1 × USA
2 × Germany
3 × United Kingdom
Collaborated with:
M.Schmidt-Schauß F.Baader C.Ringlstetter S.Mihov A.Gotscharek U.Reffle P.Mitankin G.Gottlob C.Koch K.Louka F.Weigel H.Meuss F.Bry C.M.Strohmaier V.Dojchinova V.Nakova
Talks about:
techniqu (4) combin (4) dictionari (3) correct (3) context (3) equat (3) unif (3) ocr (3) postcorrect (2) alphabet (2)

Person: Klaus U. Schulz

DBLP DBLP: Schulz:Klaus_U=

Contributed to:

DocEng 20092009
ICDAR 20072007
ICDAR 20052005
ECIR 20042004
PODS 20042004
ICDAR 20032003
CSL 20022002
CADE 19991999
RTA 19981998
RTA 19971997
RTA 19951995
RTA 19931993
CADE 19921992

Wrote 15 papers:

DocEng-2009-GotscharekRRS #documentation #on the
On lexical resources for digitization of historical documents (AG, UR, CR, KUS), pp. 193–200.
ICDAR-2007-RinglstetterRGS #fault
Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries (CR, UR, AG, KUS), pp. 639–643.
ICDAR-2007-SchulzMM #performance #precise #set
Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.
ICDAR-2005-MihovSRDN #comparative #corpus #evaluation
A Corpus for Comparative Evaluation of OCR Software and Postcorrection Techniques (SM, KUS, CR, VD, VN), pp. 162–166.
ICDAR-2005-RinglstetterSML #fault
The Same is Not The same — Post Correction of Alphabet Confusion Errors in Mixed-Alphabet OCR Recognation (CR, KUS, SM, KL), pp. 406–410.
ECIR-2004-WeigelMBS #information retrieval #performance #xml
Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data (FW, HM, FB, KUS), pp. 378–393.
PODS-2004-GottlobKS #query
Conjunctive Queries over Trees (GG, CK, KUS), pp. 189–200.
ICDAR-2003-StrohmaierRSM #question #taxonomy #web
Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary? (CMS, CR, KUS, SM), pp. 1133–1137.
CSL-2002-Schmidt-SchaussS #bound #decidability #higher-order #unification
Decidability of Bounded Higher-Order Unification (MSS, KUS), pp. 522–536.
CADE-1999-Schmidt-SchaussS #decidability #equation
Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.
RTA-1998-Schmidt-SchaussS #equation #on the
On the Exponent of Periodicity of Minimal Solutions of Context Equation (MSS, KUS), pp. 61–75.
RTA-1997-Schulz #algorithm
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.
RTA-1995-BaaderS #algebra #constraints #perspective #theorem proving
Combination of Constraint Solving Techniques: An Algebraic POint of View (FB, KUS), pp. 352–366.
RTA-1993-BaaderS #problem
Combination Techniques and Decision Problems for Disunification (FB, KUS), pp. 301–315.
CADE-1992-BaaderS #equation #unification
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (FB, KUS), pp. 50–65.

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.