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: Schulz:Klaus_U=
Contributed to:
2009
20072005
2004
20042003
2002
1999
19981997199519931992Wrote 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.