785 search results - page 107 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
BMCBI
2004
13 years 8 months ago
2004
Background: A major goal of cancer research is to identify discrete biomarkers that specifically characterize a given malignancy. These markers are useful in diagnosis, may identi...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
FM
2006
Springer
14 years 11 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
AAAI
2011
12 years 8 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
MIR
2003
ACM
14 years 1 months ago
2003
ACM
Huge amount of manual efforts are required to annotate large image/video archives with text annotations. Several recent works attempted to automate this task by employing supervis...