Sciweavers

11561 search results - page 63 / 2313
» A Language for Biochemical Systems
Sort
View
LREC
2008
117views Education» more  LREC 2008»
13 years 10 months ago
Collection and Preprocessing of Czech Sign Language Corpus for Sign Language Recognition
This paper discusses the design, recording and preprocessing of a Czech sign language corpus. The corpus is intended for training and testing of sign language recognition (SLR) sy...
Pavel Campr, Marek Hrúz, Jana Trojanov&aacu...
ANLP
1994
104views more  ANLP 1994»
13 years 10 months ago
Language Determination: Natural Language Processing from Scanned Document Images
Many documents are available to a computer only as images from paper. However, most natural language processing systems expect their input as character-coded text, which may be di...
Penelope Sibun, A. Lawrence Spitz
CLEF
2004
Springer
14 years 14 days ago
UB at CLEF2004: Cross Language Information Retrieval Using Statistical Language Models
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...
Miguel E. Ruiz, Munirathnam Srikanth
VMCAI
2012
Springer
12 years 4 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
CLEF
2010
Springer
13 years 9 months ago
Language Identification Strategies for Cross Language Information Retrieval
In our participation to the 2010 LogCLEF track we focused on the analysis of the European Library (TEL) logs and in particular we experimented with the identification of the natura...
Alessio Bosca, Luca Dini