Project Tags: Computer Science

Effective Programming for Large Distributed Ensembles

Claytronics is an ongoing project at CMU to develop programmable matter—bringing the power of programming to physical matter. The challenges in realizing Claytronics are all about scaling: (1) scaling the…

Usable automated data inference for end-users

Nowadays, data are more easily accessible than ever, yet support for correlating base data into interesting consequences is often unavailable, or too expensive, or too technical for many users. Lacking…

Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

With NPRP project 09-1107-1-168 (ending in February 2014), we have outlined the foundations of a framework for representing Concurrent, Distributed and Parallel (CDP) languages and explored methodologies to formally prove…

Empirical Evaluation of the Cryptographic Protocol Specification Language MSR

Implementation and Evaluation of a Innovative Encryption-Based Anti-Tamper Technology

Improved Arabic Natural Language Processing through Semisupervised and Cross-Lingual Learning

Natural language processing (NLP) promises to change the landscape of computer-human and human-human communication. We envision Arabic language processing systems for applications like automatic summarization, question answering, and, most importantly,…

Learning from Comparable Corpora for Improved English-Arabic Statistical Machine Translation

Parallel corpora are an essential training resource for training state-of-the-art data-driven statistical machine translation systems. Unfortunately, large parallel corpora are only available for a handful of language pairs and for…

A natural language processing-based active and interactive platform for accessing English language content and advanced language learning

We propose research into, and development and evaluation of an active and interactive system for accessing English language content and advanced language learning, based on advanced natural language processing technology…

Automatic Correction of Standard Arabic Text: Resource and System Development

Modern Standard Arabic is a morphologically and syntactically complex language, the understanding of which challenges both humans and machines. We propose to study problems encountered in correcting Arabic text automatically,…

OPTDIAC: An Optimal Diacritization Scheme for Arabic Orthographic Representation

Different languages use different scripts for orthographic (spelling of sounds) representations in their writing system. Typical Arabic orthography is mostly consonantal and it is underspecified for short vowels and other…