Sciweavers

179 search results - page 18 / 36
» Lambek Grammars Are Context Free
Sort
View
SIGIR
2012
ACM
11 years 10 months ago
Looking inside the box: context-sensitive translation for cross-language information retrieval
Cross-language information retrieval (CLIR) today is dominated by techniques that use token-to-token mappings from bilingual dictionaries. Yet, state-of-the-art statistical transl...
Ferhan Türe, Jimmy J. Lin, Douglas W. Oard
ACL
2012
11 years 10 months ago
Syntactic Stylometry for Deception Detection
Most previous studies in computerized deception detection have relied only on shallow lexico-syntactic patterns. This paper investigates syntactic stylometry for deception detecti...
Song Feng, Ritwik Banerjee, Yejin Choi
FOSSACS
2007
Springer
14 years 1 months ago
Complexity Results on Balanced Context-Free Languages
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
Akihiko Tozawa, Yasuhiko Minamide
LICS
1991
IEEE
13 years 11 months ago
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
Hans Hüttel, Colin Stirling
GG
2010
Springer
13 years 7 months ago
Verification of Graph Transformation Systems with Context-Free Specifications
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
Barbara König, Javier Esparza