Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages ⋆ (2009)
Azadeh Farzan, Yu-fang Chen, Edmund M. Clarke, Yih-kuen Tsay, Bow-yaw Wang, Academia Sinica
Abstract. Recent studies have suggested the applicability of learning to automated compositional verification. However, current learning algorithms fall short when it comes to learning liveness...
It has been a trend for language engineering to construct a sense-based lexical knowledgebase as a core foundation. WordNet and Euro WordNet are two well-known examples. There are two important...
DOI: 10.1007/s10579-007-9041-9 (2008)
Academia Sinica, Takenobu Tokunaga
Asian language processing presents formidable challenges to achieving multilingualism and multiculturalism in our society. One of the first and most obvious challenges is the multitude and diversity...
AN EXTENSION OF THE HARDY-LITTLEWOOD (2008)
Strong Law, Zhidong Bai, Philip E. Cheng, Cun-hui Zhang, National Sun, Academia Sinica
Abstract: A strong law is established for linear statistics that are weighted sums of a random sample. Using an observation of Cheng (1995a) about the Bernstein and Kolmogorov inequalities, we...
Reconstruction of Proto-Qiang Verb Inflection ∗ (2008)
Jonathan Evans, Academia Sinica
Qiang, a Tibeto-Burman language of China, has been subdivided into two major dialects based on the feature [+/- tone]. However, the presence or absence of tone in Qiang is more of a measure of...
Chu-ren Huang, Wei-yun Ma, Yi-ching Wu, Academia Sinica
This paper discusses the implementation of a knowledge-rich approach to automatic acquisition of grammatical information. Our study is based on Word Sketch Engine (Kilgarriff and Tudgell 2002). The...
Chu-ren Huang, Academia Sinica
Mandarin Chinese WH-questions exhibit two syntactically interesting characteristics. First, WH-words that bear interrogative information always occur in situ. Second, in spite the above fact, I find...
Extracting Recurrent Phrases and Terms from Texts Using a Purely Statistical Method (2008)
Zhao-ming Gao, Harold Somers, Academia Sinica
Most statistical measures for extracting interesting word pairs such as MI and t-score require a large corpus to work well. This paper evaluates some of the most widely used statistical measures and...
Chu-ren Huang, Wei-yun Ma, Yi-ching Wu, Academia Sinica
This paper discusses the implementation of a knowledge-rich approach to automatic acquisition of grammatical information. Our study is based on Word Sketch Engine (Kilgarriff and Tudgell 2002). The...
This paper presents a hybrid approach to deriving a translation lexicon from unaligned parallel Chinese-English corpora. Based on the observation that the English translation of a Chinese compound...
This paper studies the nominalization of tough predicates in Mandarin Chinese, Japanese, and English, The emphasis in on Mandarin Chinese. Mandarin offers one of the most challenging testing grounds...
Cheng-wei Lee, Cheng-wei Shih, Min-yuh Day, Tzong-han Tsai, Tian-jian Jiang, Chia-wei Wu, ...
We propose a hybrid architecture for the NTCIR-5 CLQA C-C (Cross Language Question Answering from Chinese to Chinese) Task. Our system, the
Conservation Laws in Two Dimensions (2008)
Academia Sinica, Verantwortlich Dr. Klaus Andre, Wu Huamo, Yang Shuli
On leave of absence from
Hagit Attiya, Alan Fekete, Unilersc Of Sydney, Michael Fischer, Yale Uni ‘ersi, New Ha Len, ...
not made or distributed for direct commercial advantage, the ACM copyright notice and the title
Institute of Information Science, (2007)
Chun-shien Lu, Shih-kun Huang, Chwen-jye Sze, Academia Sinica
A novel image protection scheme called "cocktail watermarking " is proposed in this paper. We analyze and point out the inadequacy of the modulation techniques commonly used in...
An asymptotic expression for the expected area of the union of n random rectangles is derived by Mellin transforms, where their two diagonal corners are independently and uniformly distributed over...
Jieh Hsiang (項潔, Academia Historica, Academia Sinica, Taiwan Historica
D. Coordination, Technical
Cheng-Der Fuh, Academia Sinica
this paper we investigate the performance of the Shiryayev-Roberts-Pollak (SRP) rule for change point detection in the dynamic system of hidden Markov models. By making use of Markov chain...
Estimating Comparable Scores Using Surrogate Variables (2001)
Michelle Liou, Philip E. Cheng, Ming-yen Li, Michelle Liou, Philip E. Cheng, Academia Sinica
The possibility of using surrogate variables (e.g., school grades, other test scores, examinee background information) as replacements for common items predicting sample-selection bias between groups...
A New Watermarking Technique for Multimedia Protection
Chun-Shien Lu, Shih-kun Huang, Chwen-jye Sze, Academia Sinica
A robust watermarking scheme for hiding binary or gray-scale watermarks in digital images is proposed in this chapter. Motivated by the fact that a detector response (a correlation value) only...
A New Watermarking Technique for Multimedia Protection
Chun-shien Lu, Shih-kun Huang, Chwen-jye Sze, Academia Sinica
A robust watermarking scheme for hiding binary or gray-scale watermarks in digital images is proposed in this chapter. Motivated by the fact that a detector response (a correlation value) only...