Sciweavers

2006 search results - page 330 / 402
» Testing with Respect to Concerns
Sort
View
ENTCS
2002
107views more  ENTCS 2002»
13 years 8 months ago
Monitoring, Checking, and Steering of Real-Time Systems
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...
JCB
2002
111views more  JCB 2002»
13 years 8 months ago
A General Edit Distance between RNA Structures
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...
Tao Jiang, Guohui Lin, Bin Ma, Kaizhong Zhang
JCC
2002
94views more  JCC 2002»
13 years 8 months ago
Modern protein force fields behave comparably in molecular dynamics simulations
: 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...
Daniel J. Price, Charles L. Brooks III
PAMI
1998
145views more  PAMI 1998»
13 years 8 months ago
An Analytic-to-Holistic Approach for Face Recognition Based on a Single Frontal View
—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...
Kin-Man Lam, Hong Yan
SIGIR
2002
ACM
13 years 8 months ago
Predicting query performance
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...
Stephen Cronen-Townsend, Yun Zhou, W. Bruce Croft