The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
Arc-annotated sequences are useful in representing the structural information of RNA sequences. In general, RNA secondary and tertiary structures can be represented as a set of ne...
: Several molecular dynamics simulations were performed on three proteins--bovine apo-calbindin D9K, human interleukin-4 R88Q mutant, and domain IIA of bacillus subtilis glucose pe...
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...