Sciweavers

2225 search results - page 12 / 445
» Logical Structures in the Lexicon
Sort
View
NAACL
2007
13 years 9 months ago
Reversible Sound-to-Letter/Letter-to-Sound Modeling Based on Syllable Structure
This paper describes a new grapheme-tophoneme framework, based on a combination of formal linguistic and statistical methods. A context-free grammar is used to parse words into th...
Stephanie Seneff
IWIC
2007
Springer
14 years 1 months ago
Hanzi Grid
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...
Ya-Min Chou, Shu-Kai Hsieh, Chu-Ren Huang
ICDAR
2011
IEEE
12 years 7 months ago
Fast Key-Word Searching via Embedding and Active-DTW
—In this paper we present a novel approach for fast search of handwritten Arabic word-parts within large lexicons. The algorithm runs through three steps to achieve the required ...
Raid Saabni, Alex Bronstein
LICS
2002
IEEE
14 years 21 days ago
Separation Logic: A Logic for Shared Mutable Data Structures
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
John C. Reynolds
ICCS
2007
Springer
14 years 1 months ago
Bilingual Word Association Networks
Abstract. Bilingual word association networks can be beneficial as a tool in foreign language education because they show relationships among cognate words of different languages ...
Uta Priss, L. John Old