Background: Serial Analysis of Gene Expression (SAGE) is a high-throughput method for inferring mRNA expression levels from the experimentally generated sequence based tags. Stand...
Michael A. Gilchrist, Hong Qin, Russell L. Zaretzk...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...
Virtual human research has often modeled nonverbal behaviors based on the findings of psychological research. In recent years, however, there have been growing efforts to use auto...
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...