Chao Wang, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller
Storage system failure is a serious concern as we approach Petascale computing. Even at today’s sub-Petascale levels, I/O failure is the leading cause of downtimes and job failures. We contribute a...
Proactive Process-Level Live Migration in HPC Environments (2009)
Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott
As the number of nodes in high-performance computing environments keeps increasing, faults are becoming common place. Reactive fault tolerance (FT) often does not scale due to massive I/O...
A Tunable Holistic Resiliency Approach for High-Performance Computing Systems (2009)
Stephen L. Scott, Christian Engelmann, Geoffroy R. Vallée, Thomas Naughton, Anand Tikotekar, George Ostrouchov, ...
In order to address anticipated high failure rates, resiliency characteristics have become an urgent priority for next-generation extreme-scale high-performance computing (HPC) systems. This poster...
On-the-fly Recovery of Job Input Data in Supercomputers ∗ (2009)
Chao Wang, Zhe Zhang, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller
Storage system failure is a serious concern as we approach Petascale computing. Even at today’s sub-Petascale levels, I/O failure is the leading cause of downtimes and job failures. We contribute a...
Transparent Fault Tolerance for Job Healing in HPC Environments (2009)
As the number of nodes in high-performance computing environments keeps increasing, faults are becoming common place causing losses in intermediate results of HPC jobs. Furthermore, storage systems...
A versatile pitch tracking algorithm : from human speech to killer whale vocalizations (2009)
Shapiro, Ari Daniel, Wang, Chao
Author Posting. © Acoustical Society of America, 2009. This article is posted here by permission of Acoustical Society of America for personal use, not for redistribution. The definitive version was...
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋆ (2009)
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
Abstract. We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset based...
Cooperative Multiplexing: Toward Higher Spectral Efficiency in Multi-antenna Relay Networks (2009)
Wang, Chao, Poor, H. Vincent, Thompson, John S.
Previous work on cooperative communications has concentrated primarily on the diversity benefits of such techniques. This paper, instead, considers the multiplexing benefits of cooperative...
Wang, Chao, Peng, Sheng, Lacroix, Lise-Marie, Sun, Shouheng
We report the synthesis of high magnetic moment CoFe nanoparticles via the diffusion of Co and Fe in core/shell structured Co/Fe nanoparticles. In an organic solution, Co nanoparticles were coated...
Scalar Mesons and glueballs in $Dp-Dq$ hard-wall models (2009)
Wang, Chao, He, Song, Huang, Mei, Yan, Qi-Shu, Yang, Yi
We investigate light scalar mesons and glueballs in the $Dp-Dq$ hard-wall models, including $D3-Dq$, $D4-Dq$, and $D6-Dq$ systems. It is found that only in the $D4-D6$ and $D4-D8$ hard wall models,...
Peephole Partial Order Reduction (2009)
Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
Abstract. We present a symbolic dynamic partial order reduction (POR) method for model checking concurrent software. We introduce the notion of guarded independent transitions, i.e., transitions that...
Compositional SCC Analysis for Language Emptiness ∗ (2009)
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
Abstract. We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our algorithm is...
Wang, Pei-Fang, Zhang, Song-He, Wang, Chao, Hou, Jun, Guo, Peng-Cheng, Lin, Zhi-ping
The study was performed to investigate the heavy metal content and availability for crops in sewage sludge and its accumulation in Chinese cabbage grown in sewage sludge amended soil. We determined...
HENGLEI JIA, SHENHAO CHEN, BOYU YUAN, CHAO WANG, LIANG LI
The dynamic process of crevice corrosion during anodic dissolution of a crevice electrode in a 5.0 mmol dm-3 NaCl solution has been studied by digital holographic reconstruction. Digital holographic...
Visualization of Text Duplicates in Documents (2009)
In this thesis, a tool to visualize duplicate parts in a series of given documents is developed.Text duplicates are very common nowadays in all fields. This behavior severelyharms the rights of the...
Visualization of Text Duplicates in Documents (2009)
In this thesis, a tool to visualize duplicate parts in a series of given documents is developed.Text duplicates are very common nowadays in all fields. This behavior severelyharms the rights of the...
Exploiting Context Information in Spoken Dialogue Interaction with Mobile Devices ⋆ (2008)
Stephanie Seneff, Mark Adler, James R. Glass, Brennan Sherry, Timothy J. Hazen, Chao Wang, ...
Abstract. Today’s mobile phone technology is rapidly evolving towards a personal information assistant model, with the traditional cell phone morphing into a networked mobile device that is capable...
Abstract The Compositional Far Side of Image Computation (2008)
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-approximation and BDD...
Chao Wang, Srinivasan Parthasarathy, Ruoming Jin
Abstract. In this paper we present a novel approach for estimating the selectivity of XML twig queries. Such a technique is useful for answering approximate queries as well as for determining an...
Application of Multiplexed FBG and PZT Impedance Sensors for Health Monitoring of Rocks (2008)
Yaowen Yang, Venu Gopal, Madhav Annamdas, Chao Wang, Yingxin Zhou
Abstract: Reliable structural health monitoring (SHM) including nondestructive evaluation (NDE) is essential for safe operation of infrastructure systems. Effective monitoring of the rock components...
Peephole Partial Order Reduction (2008)
Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
Abstract. We present a symbolic dynamic partial order reduction (POR) method for model checking concurrent software. We introduce the notion of guarded independent transitions, i.e., transitions that...
An Interactive English Pronunciation Dictionary for Korean Learners (2008)
Jong-mi Kim, Chao Wang, Mitchell Peabody, Stephanie Seneff
We present research towards developing a pronunciation dictionary that features sensitivity to learners ’ native phonology, specifically designed for Korean learners of...
Learning Approximate MRFs From Large Transaction Data (2008)
Chao Wang, Srinivasan Parthasarathy
In this paper we consider the problem of learning approximate Markov Random Fields (MRFs) from large transaction data. We rely on frequent itemsets to learn MRFs on the data. Since learning exact...
Whodunit? Causal Analysis for Counterexamples ⋆ (2008)
Chao Wang, Zijiang Yang, Aarti Gupta
Abstract. Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer to...
V.: Second language acquisition through human computer dialogue (2008)
Stephanie Seneff, Chao Wang, Mitch Peabody, Victor Zue
This paper describes our recent research in developing tools for second language acquisition based on spoken dialogue interaction with a computer. We argue that language proficiency can best be...
Grail is an open source graph library, which is developed at the MSI of Växjö University, tools like the VizzAnalyzer and vizz3d use Grail for representing their internal structures.In this thesis,...
Grail is an open source graph library, which is developed at the MSI of Växjö University, tools like the VizzAnalyzer and vizz3d use Grail for representing their internal structures.In this thesis,...
Summarizing Itemset Patterns Using Probabilistic Models ∗ ABSTRACT (2008)
Chao Wang, Srinivasan Parthasarathy
In this paper, we propose a novel probabilistic approach to summarize frequent itemset patterns. Such techniques are useful for summarization, post-processing, and end-user interpretation,...
Towards Precise and Scalable Verification of Embedded Software (2008)
Malay K. Ganai, Aarti Gupta, Franjo Ivančić, Vineet Kahlon, Weihong Li, Nadia Papakonstantinou, ...
Abstract — Inspired by the success of model checking in hardware verification and protocol analysis, there has been growing interest in research and development of tools for the automated...
Learning Approximate MRFs From Large Transactional Data ⋆ (2008)
Chao Wang, Srinivasan Parthasarathy
Abstract. In this paper we consider the problem of learning approximate Markov Random Fields (MRFs) from large transactional data. We rely on frequent itemsets to learn MRFs on the data. Since...
Spoken Dialogue Systems for Language Learning (2008)
Stephanie Seneff, Chao Wang, Chih-yu Chao
This demonstration will illustrate interactive computer games intended to help a native speaker of English learn Mandarin. These systems provide users with humanlike conversational exercises with...
Linear Time Algorithms to the Minimum All-Ones Problem for Unicyclic and Bicyclic Graphs ∗ (2008)
Xueliang Li, Chao Wang, Xiaoyan Zhang
In this paper, we give graph-theoretic algorithms of linear time to the Minimum All-Ones Problem for unicyclic and bicyclic graphs. These algorithms are based on a graph-theoretic algorithm of linear...
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
Abstract. We propose a refinement approach to symbolic SCC analysis, which performs large parts of the computation on abstracted systems, and on small subsets of the state space. For...
Chao Wang, Ruoming Jin, Srinivasan Parthasarathy
In this paper we present a novel approach for estimating the selectivity of XML twig queries. Such a technique is useful for approximate query answering as well as for determining an optimal query...
Stephanie Seneff, Chao Wang, Christopher B. Burge, Stephanie Seneff, Chao Wang, Christopher B. Burge
the only authorised source. All copying of this article including placing on another website requires the written permission of the copyright owner. Seneff, Wang, and Burge, Applied Bioinformatics 2
Chao Wang, Qiong Yang, Mo Chen, Xiaoou Tang, Zhongfu Ye
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object cutout system did...
Bing Li, Chao Wang, Fabio Somenzi
Abstract We present an abstraction refinement algorithm for model checking of safety properties that relies exclusively counterexamples on the concrete model, and refinement. Model checking of the...
SALIENCE PRESERVING IMAGE FUSION WITH DYNAMIC RANGE COMPRESSION (2008)
Chao Wang, Qiong Yang, Xiaoou Tang, Zhongfu Ye
Gradient conveys important salient features in images. Traditional fusion methods based on gradient generally treat gradients from multichannels as a multi-valued vector, and compute its global...
Improved Gene Prediction through Human/Mouse Ortholog Similarity Constraints (2008)
Stephanie Seneff, Chao Wang, Chris Burge
Gene prediction, genetic diversity, comparative genomics Given the availability of complete genome sequences from related organisms, it should be possible to exploit sequence conservation in...
Submitted to: Dr. Raghavan Submitted by: (2008)
Efficient Online Content-based Image Retrieval". The primary purpose of the new work is to add a web-based interface to the existing CBIR engine. 2. Method
Zhe Zhang, Chao Wang, Sudharshan S. Vazhkudai, Xiaosong Ma
Procurement and the optimized utilization of Petascale supercomputers and centers is a renewed national priority. Sustained performance and availability of such large centers is a key technical...
This work seeks to develop a probabilistic framework for modeling, querying and analyzing large-scale structured and semi-structured data. The framework has three components: (1) Mining non-redundant...
Video Enhancement Using Adaptive Spatio-Temporal Connective Filter and Piecewise Mapping (2008)
Chao Wang, Li-Feng Sun, Bo Yang, Yi-Ming Liu, Shi-Qiang Yang
This paper presents a novel video enhancement system based on an adaptive spatio-temporal connective (ASTC) noise filter and an adaptive piecewise mapping function (APMF). For ill-exposed videos or...
Our group has a long-standing interest in Pd or Ru-catalyzed decarboxylative coupling reactions. It has been shown that allyl ?-ketoesters, upon treatment with palladium or ruthenium, generate freely...
Application of Multiplexed FBG and PZT Impedance Sensors for Health Monitoring of Rocks (2008)
Yaowen Yang, Chao Wang, Yingxin Zhou
Reliable structural health monitoring (SHM) including nondestructiveevaluation (NDE) is essential for safe operation of infrastructure systems. Effectivemonitoring of the rock components of civil...
We introduce a new three-step iterative scheme with errors. Several convergence theorems of this scheme are established for common fixed points of nonself asymptotically quasi-non-expansive mappings...
Chang-Ge Zheng, Jian-Quan Hong, Jie Zhang, Chao Wang
In the title compound, [Ni(C8F4O4)(C5H5N)2(CH4O)2]n, the NiII ion is located on an inversion center and is coordinated by four O atoms [Ni—O =...
catena-Poly[[bis(methanol-κO)bis(pyridine-κN)nickel(II)]-μ-tetrafluoroterephthalato-κ2O:O′] (2008)
Chang-Ge Zheng, Jian-Quan Hong, Jie Zhang, Chao Wang
In the title compound, [Ni(C8F4O4)(C5H5N)2(CH4O)2]n, the NiII ion is located on an inversion center and is coordinated by four O atoms [Ni—O = 2.079 (4) Å] from two...
Exchange bias effects of CrSe/Fe/GaAs thin film structure (2008)
Thesis (Ph.D.)--Hong Kong University of Science and Technology, 2008
Wang, Chao, Han, Mei, Zhao, Xin-Ming, Wen, Jin-Kun
Krüppel-like factor 4 (KLF4) is involved in phenotypic modulation of vascular smooth muscle cells (VSMCs). All-trans retinoic acid (ATRA) inhibits VSMC proliferation and induces VSMC...
Video Enhancement Using Adaptive Spatio-Temporal Connective Filter and Piecewise Mapping (2008)
Chao Wang, Li-Feng Sun, Bo Yang, Yi-Ming Liu, Shi-Qiang Yang
This paper presents a novel video enhancement system based on an adaptive spatio-temporal connective (ASTC) noise filter and an adaptive piecewise mapping function (APMF). For ill-exposed videos or...
We introduce a new three-step iterative scheme with errors. Several convergence theorems of this scheme are established for common fixed points of nonself asymptotically quasi-non-expansive mappings...
Peak to average power ratio reduction for OFDM system (2008)
CityU Call Number: TK5103.484 .W36 2008
Chao Wang, Roderick Bloem, Kavita Ravi, Fabio Somenzi
Abstract. We propose a refinement approach to symbolic SCC analysis, which performs large parts of the computation on abstracted systems, and on small subsets of the state space. For...
Anomalous photocurrent observed in an Fe–ZnS : Fe Schottky diode (2007)
Li, Baikui, Wang, Chao, Sou, Philip Iam-Keong, Ge, Wei-Kun, Wang, Jiannong
Anomalous photocurrent was observed in an epitaxial Fe/Zn0.96Fe0.04S Schottky diode grown by molecular beam epitaxy. The temperature dependent decay behavior of the anomalous photocurrent has been...
Gene regulation and metabolic flux reorganization in aerobic/Anaerobic switch of E. coli / (2007)
Thesis submitted to the Dept. of Physics.
Chinese Syntactic Reordering for Statistical Machine Translation (2007)
Syntactic reordering approaches are an effective method for handling word-order differences between source and target languages in statistical machine translation (SMT) systems. This paper introduces...
Hybrid CEGAR: Combining variable hiding and predicate abstraction (2007)
Variable hiding and predicate abstraction are two popular abstraction methods to obtain simplified models for model checking. Although both methods have been used successfully in practice, no attempt...
A job pause service under lam/mpi+blcr for transparent fault tolerance (2007)
Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott
Checkpoint/restart (C/R) has become a requirement for long-running jobs in large-scale clusters due to a meantime-to-failure (MTTF) in the order of hours. After a failure, C/R mechanisms generally...
Chinese Syntactic Reordering for Statistical Machine Translation (2007)
Syntactic reordering approaches are an effective method for handling word-order differences between source and target languages in statistical machine translation (SMT) systems. This paper introduces...
A job pause service under lam/mpi+blcr for transparent fault tolerance (2007)
Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott
Checkpoint/restart (C/R) has become a requirement for long-running jobs in large-scale clusters due to a meantime-to-failure (MTTF) in the order of hours. After a failure, C/R mechanisms generally...
Automatic assessment of student translations for foreign language tutoring (2007)
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game we have developed,...
Using counterexamples for improving the precision of reachability computation with polyhedra (2007)
Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivančić
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refinement algorithm is...
An efficient algorithm and its corresponding VLSI architecture for the critical-band transform (CBT) are developed to approximate the critical-band filtering of the human ear. The CBT consists of a...
An efficient algorithm and its corresponding VLSI architecture for the critical-band transform (CBT) are developed to approximate the critical-band filtering of the human ear. The CBT consists of a...
Disjunctive image computation for embedded software verification (2006)
Finite state models generated from software programs have unique characteristics that are not exploited by existing model checking algorithms. In this paper, we propose a novel disjunctive image...
Combining Linguistic and Statistical Methods for Bidirectional English Chinese Translation (2006)
Stephanie Seneff, Chao Wang, John Lee
In this paper, we discuss techniques to combine an interlingua translation framework with phrase-based statistical methods, for translation from Chinese into English. Our goal is to achieve...
High-quality speech translation in the flight domain (2006)
Portability is an important issue to the viability of a domainspecific translation approach. This paper describes an English to Chinese translation system for flight-domain queries, utilizing an...
Using statically computed invariants inside the predicate abstraction and refinement loop (2006)
Himanshu Jain, Franjo Ivančić, Aarti Gupta, Ilya Shlyakhter, Chao Wang
Abstract. Predicate abstraction is a powerful technique for extracting finite-state models from often complex source code. This paper reports on the usage of statically computed invariants inside the...
Scalable and portable web-based multimodal dialogue interaction with geographical databases (2006)
Er Gruenstein, Stephanie Seneff, Chao Wang
We describe work towards developing a scalable and portable framework for enabling map-based multimodal dialogue interaction over the web. Working in the context of a restaurant-guide system, we show...
MOLAR: Adaptive runtime support for high-end computing operating and runtime systems (2006)
Christian Engelmann, Stephen L. Scott, David E. Bernholdt, Narasimha R. Gottumukkala, Chokchai Leangsuksun, Jyothish Varma, ...
MOLAR is a multi-institutional research effort that concentrates on adaptive, reliable, and efficient operating and runtime system (OS/R) solutions for ultra-scale, high-end scientific computing on...
Scalable, Fault-Tolerant Membership for MPI Tasks on HPC Systems (2006)
Jyothish Varma, Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott
Reliability is increasingly becoming a challenge for highperformance computing (HPC) systems with thousands of nodes, such as IBM’s Blue Gene/L. A shorter mean-time-to-failure can be addressed by...
Mixed symbolic representations for model checking software programs (2006)
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivančić
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition relation and reachable...
Integrated genetic search for identification of material properties and dynamic excitations / (2005)
"Supervisor, Professor Soh Chee Kiong."
Duygu Ucar, Srinivasan Parthasarathy, Sitaram Asur, Chao Wang
In this article we present novel preprocessing techniques, based on topological measures of the network, to identify clusters of proteins from Protein-protein interaction (PPI) networks wherein each...
Model checking C programs using F-Soft (2005)
Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, ...
Abstract — With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniques for...
Language model data filtering via user simulation and dialogue resynthesis (2005)
Chao Wang, Stephanie Seneff, Grace Chung
In this paper, we address the issue of generating language model training data during the initial stages of dialogue system development. The process begins with a large set of sentence templates,...
Context-sensitive statistical language modeling (2005)
Er Gruenstein, Chao Wang, Stephanie Seneff
We present context-sensitive dynamic classes – a novel mechanism for integrating contextual information from spoken dialogue into a class n-gram language model. We exploit the dialogue system’s...
Fine-Grain Abstraction and Sequential Don’t Cares for Large Scale Model Checking (2004)
Chao Wang, Gary D. Hachtel, Fabio Somenzi
Abstraction refinement is a key technique for applying model checking to the verification of real-world digital systems. In previous work, the abstraction granularity is often limited at the state...
Spoken conversational interaction for language learning (2004)
Stephanie Seneff, Chao Wang, Julia Zhang
This paper describes our efforts towards utilizing multilingual spoken dialogue systems as an aid to second language acquisition. We argue that it is important for language students to have the...
High-quality speech translation for language learning (2004)
In this paper, we describe a translation framework aimed at achieving high-quality speech translation within restricted conversational domains. Towards this goal, we developed an interlingua-based...
Refining the SAT Decision Ordering for Bounded Model Checking (2004)
Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-examples of a bounded...
Analysis and Processing of Lecture Audio Data: Preliminary Investigations (2004)
James Glass Timothy, Timothy J. Hazen, Lee Hetherington, Chao Wang
In this paper we report on our recent efforts to collect a corpus of spoken lecture material that will enable research directed towards fast, accurate, and easy access to lecture content. Thus far,...
Parallel and distributed methods for incremental frequent itemset mining (2004)
Matthew Eric Otey, Srinivasan Parthasarathy, Chao Wang, Adriano Veloso, Wagner Meira
Abstract—Traditional methods for data mining typically make the assumption that the data is centralized, memory-resident, and static. This assumption is no longer tenable. Such methods waste...
Parallel Algorithms for Mining Frequent Structural Motifs in Scientific Data (2004)
Chao Wang, Srinivasan Parthasarathy
Discovery of important substructures from molecules is an important data mining problem. The basic motivation is that the structure of a molecule has a role to play in its biochemical function. There...
Vivienne C. Lee, Stephanie Seneff, Chao Wang, Arthur C. Smith, Vivienne C. Lee
00-C-0002. Opinions, interpretations, conclusions and recommendations are those of the author and are not necessarily endorsed by the United States Government.
Automatic induction of n-gram language models from a natural language grammar (2003)
Stephanie Seneff, Chao Wang, Timothy J. Hazen
This paper details our work in developing a technique which can automatically generate class n-gram language models from natural language (NL) grammars in dialogue systems. The procedure eliminates...
Improving ariadne’s bundle by following multiple threads in abstraction refinement (2003)
Chao Wang, Bing Li, Hoonsang Jin, Gary D. Hachtel, Fabio Somenzi
We propose an abstraction refinement method for invariant checking, counter examples of shortest length in the current abstraction. The algorithm is focused on an improved Ariadne’s Bundle 1 of...
End Users To, Stephanie Seneff, Grace Chung, Chao Wang
This paper describes recent advances we have made towards the goal of empowering endudR% to au omatically expand the knowledge base of a dialogu system throu] spoken interaction, in order to...
A satisfiability-based approach to abstraction refinement in model checking (2003)
Bing Li, Chao Wang, Fabio Somenzi
We present an abstraction refinement algorithm for model checking of safety properties that relies exclusively on a SAT solver for checking the abstract model, testing abstract counterexamples on the...
Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems (2003)
Grace Chung, Stephanie Seneff, Chao Wang
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition of unknown words in a...
Abstraction and BDDs Complement SAT-based BMC (2003)
Aarti Gupta, Malay Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
Abstract. Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity for finding bugs in large designs. However, due to its incompleteness, there is...
Sharp disjunctive decomposition for language emptiness checking (2002)
Abstract. We propose a “Sharp ” disjunctive decomposition approach for language emptiness checking, which is specifically targeted at “Large ” or “Difficult” problems. Based on the SCC...
Voice Transformations: From Speech Synthesis to Mammalian Vocalizations (2001)
Min Tang, Chao Wang, Stephanie Seneff
This paper describes a phase vocoder based technique for voice transformation. This method provides a flexible way to manipulate various aspects of the input signal, e.g., fundamental frequency of...
Voice Transformations: From Speech Synthesis to Mammalian Vocalizations (2001)
Min Tang, Chao Wang, Stephanie Seneff
This paper describes a phase vocoder based technique for voice transformation. This method provides a flexible way to manipulate various aspects of the input signal, e.g., fundamental frequency of...
Prosodic Modeling for Improved Speech Recognition and Understanding (2001)
Stephanie Seneff, Arthur C. Smith, Chao Wang, Chao Wang
by
Voice Transformations: From Speech Synthesis to Mammalian Vocalizations (2001)
Min Tang, Chao Wang, Stephanie Seneff
This paper describes a phase vocoder based technique for voice transformation. This method provides a flexible way to manipulate various aspects of the input signal, e.g., fundamental frequency of...
Improved tone recognition by normalizing for coarticulation and intonation effects (2000)
We have previously demonstrated that tone modeling improved speech recognition on a digit corpus [7]. In this work, we further improve tone recognition by normalizing for both tone coarticulation and...
Robust pitch tracking for prosodic modeling in telephone speech (2000)
In this paper, we introduce a pitch detection algorithm that is particularly robust for telephone speech and prosodic modeling. The algorithm uses a logarithmically sampled spectral representation of...
Improved Tone Recognition by Normalizing for Coarticulation and Intonation Effects (2000)
We have previously demonstrated that tone modeling improved speech recognition on a digit corpus [7]. In this work, we further improve tone recognition by normalizing for both tone coarticulation and...
Aircraft autopilot design using a sampled-data gain scheduling technique (1999)
Aircraft autopilot design using a sampled-data gain scheduling technique
Aircraft autopilot design using a sampled-data gain scheduling technique (1999)
Aircraft autopilot design using a sampled-data gain scheduling technique
Oracle8i Utilities Release 2 (8.1.6) (1999)
James Stenois, Chao Wang, Gail Ymanaka, Hiro Yoshioka
The Programs (which include both the software and documentation) contain proprietary information of Oracle Corporation; they are provided under a license agreement containing restrictions on use and...
The role of hyaluronan receptor RHAMM in breast carcinoma (1998)
grantor: University of Toronto
Prosodic cues (namely, fundamental frequency, energy and duration) provide important information for speech. For a tonal language such as Chinese, fundamental frequency (F 0 ) plays a critical role...
Prosodic cues (namely, fundamental frequency, energy and duration) provide important information for speech. For a tonal language such as Chinese, fundamental frequency ( ) plays a critical role in...
Contributors Karleen Aghevli, Allen Brumm, Paul Lane, Visar Nimani, Joan Pearson, James Stenois, ...
The programs are not intended for use in any nuclear, aviation, mass transit, medical, or other inherently dangerous applications. It shall be licensee's responsibility to take all appropriate...
Porting the Galaxy System to Mandarin Chinese (1997)
Stephanie Seneff, Chao Wang, Chao Wang
Galaxy is a human-computer conversational system that provides a spoken language interface for accessing on-line information. It was initially implemented for English in travel-related domains,...
networks for predictive (1997)
Jyothish Varma, Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott
Reliability is increasingly becoming a challenge for highperformance computing (HPC) systems with thousands of nodes, such as IBM’s Blue Gene/L. A shorter mean-time-to-failure can be addressed by...
Thesis (Ph. D.)--University of California, Los Angeles, 1992.
Robust Pitch Tracking For Prosodic Modeling In Telephone Speech
In this paper, we introduce a pitch detection algorithm that is particularly robust for telephone speech and prosodic modeling. The algorithm uses a logarithmically sampled spectral representation of...
Yinhe: A Mandarin Chinese Version Of The Galaxy System
Chao Wang, James Glass, Helen Meng, Joe Polifroni, Stephanie Seneff, Victor Zue
The galaxy system is a human-computer conversational system providing a spoken language interface for accessing on-line information. It was initially implemented for English in travel-related...
Microglia and Microglia-Like Cell Differentiated from DC Inhibit CD4 T Cell Proliferation
Bai, Bo, Song, Wengang, Ji, Yewei, Liu, Xi, Tian, Lei, Wang, Chao, ...
The central nervous system (CNS) is generally regarded as a site of immune privilege, whether the antigen presenting cells (APCs) are involved in the immune homeostasis of the CNS is largely unknown....