Sciweavers

1999 search results - page 104 / 400
» Dependently Typed Grammars
Sort
View
CPM
2000
Springer
143views Combinatorics» more  CPM 2000»
15 years 10 months ago
A Boyer-Moore Type Algorithm for Compressed Pattern Matching
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
Yusuke Shibata, Tetsuya Matsumoto, Masayuki Takeda...
CN
2002
112views more  CN 2002»
15 years 6 months ago
State-dependent M/G/1 type queueing analysis for congestion control in data networks
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
LREC
2008
138views Education» more  LREC 2008»
15 years 7 months ago
Language Resources for Semantic Document Annotation and Crosslingual Retrieval
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...
Petya Osenova, Kiril Ivanov Simov, Eelco Mossel
AAAI
1992
15 years 7 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
ANLP
1992
117views more  ANLP 1992»
15 years 7 months ago
Detecting and Correcting Morpho-syntactic Errors in Real Texts
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
Theo Vosse