402 search results - page 45 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
BIOID
2008
13 years 10 months ago
2008
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
IHI
2012
12 years 4 months ago
2012
Despite recent progress in high-throughput experimental studies, systems level visualization and analysis of large protein interaction networks (ppi) remains a challenging task, g...
FIW
2003
13 years 10 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
TASLP
2010
13 years 7 months ago
2010
Abstract—Automatic summarization evaluation is very important to the development of summarization systems. In text summarization, ROUGE has been shown to correlate well with huma...
ICDCIT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...