Sciweavers

4911 search results - page 233 / 983
» Tree dependence analysis
Sort
View
SAFECOMP
2007
Springer
15 years 10 months ago
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Cho...
BIB
2008
88views more  BIB 2008»
15 years 4 months ago
MEGA: A biologist-centric software for evolutionary analysis of DNA and protein sequences
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...
Sudhir Kumar, Masatoshi Nei, Joel Dudley, Koichiro...
JSS
2008
91views more  JSS 2008»
15 years 4 months ago
Software architecture reliability analysis using failure scenarios
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
Bedir Tekinerdogan, Hasan Sözer, Mehmet Aksit
ISVC
2007
Springer
15 years 10 months ago
Feature-Adaptive Motion Energy Analysis for Facial Expression Recognition
In this paper, we present a facial expression recognition method using feature-adaptive motion energy analysis. Our method is simplicityoriented and avoids complicated face model r...
Sungkyu Noh, Hanhoon Park, Yoonjong Jin, Jong-Il P...
SODA
2008
ACM
128views Algorithms» more  SODA 2008»
15 years 5 months ago
Analysis of greedy approximations with nonsubmodular potential functions
In this paper, we present two techniques to analyze greedy approximation with nonsubmodular functions restricted submodularity and shifted submodularity. As an application of the ...
Ding-Zhu Du, Ronald L. Graham, Panos M. Pardalos, ...