Kohlhase - PDFSEARCH.IO - Document Search Engine

Kohlhase
Results: 36

#	Item
11	MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability Radu Hambasan & Michael Kohlhase & Corneliu Prodescu http://kwarc.info/kohlhase Computer Science Jacobs University Bremen, Germany Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-15 20:05:37 Computing Finite model theory Information Michael Kohlhase MathML Information retrieval Searching OpenMath Search engine indexing Information science Markup languages Mathematical markup languages
12	NTCIR-11 Math-2 Task Overview Akiko Aizawa Michael Kohlhase Iadh Ounis NII Tokyo Jacobs University Univ. of Glasgow The NTCIR Math Task is specifically dedicated to information access to mathematical content. Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-14 20:05:48 FO Mathematics Markup languages MathML Computing
13	MathWebSearch: Low-Latency Unification-based Full-Text Search Radu Hambasan, Michael Kohlhase, Corneliu Prodescu http://kwarc.info MathWebSearch is a content-based search engine that focuses on fast query answering for i Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-16 00:12:40 Query expansion Information science Integral calculus MathML
14	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan NTCIR-11 Math-2 Task Overview Akiko Aizawa Michael Kohlhase Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:54 Natural language processing Searching IR evaluation FO MathML IP Query Concept Search Information science Information retrieval Science
15	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan MathWebSearch at NTCIR-11 Radu Hambasan Michael Kohlhase Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:52 Mathematical markup languages Natural language processing Searching MathML Text Retrieval Conference FO OMDoc Full text search Query Information science Information retrieval Markup languages
16	NTCIR-11 Math-2 Task Overview Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-16 01:59:03 Imaginary unit Mathematical analysis Michael Kohlhase Pi
17	Literate Sources for Content Dictionaries Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; [removed] Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Technical communication Typesetting OpenMath OMDoc Literate programming TeX MathML XML Michael Kohlhase Computing Markup languages Mathematical markup languages
18	Spreadsheets: From Data Interfaces to Knowledge Interfaces Andrea Kohlhase Jacobs University Bremen Abstract. Documents of type “spreadsheet” are considered user interfaces to numeric data as they allow authors to c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:32 Repertory grid Visualization Science Computing Spreadsheet Software Microsoft Excel
19	Lurch: A Word Processor Built on OpenMath that Can Check Mathematical Reasoning Nathan C. Carter1 and Kenneth G. Monks2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 02:00:58 Mathematics OpenMath OMDoc Lurch Mathematical proof Michael Kohlhase TeX Notice of electronic filing Expression Computing Markup languages Mathematical markup languages
20	OpenMathMap: Accessing Math via Interactive Maps Jan Wilken D¨orrie, Michael Kohlhase Computer Science, Jacobs University Bremen .@jacobs-university.de Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 09:05:51 Mathematics Subject Classification Science Zentralblatt MATH Areas of mathematics Multidimensional scaling Information retrieval Geometry Fields of mathematics Mathematics Bibliographic databases

UPDATE