6978 search results - page 246 / 1396 » Reframing Requirements Analysis |
179
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
165
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
170
click to vote
CMPB
2010
15 years 6 months ago
2010
This article presents KARDIA, a Matlab (MathWorks Inc., MA) software developed for the analysis of cardiac interbeat interval (IBI) data. Available functions are called through a ...
174
click to vote
ESWA
2006
15 years 6 months ago
2006
Proteomics is a field dedicated to the analysis and identification of proteins within an organism. Within proteomics, two-dimensional electrophoresis (2-DE) is currently unrivalle...
163
click to vote
TMI
1998
15 years 6 months ago
1998
Abstract—Functional magnetic resonance images (fMRI’s) provide high-resolution datasets which allow researchers to obtain accurate delineation and sensitive detection of activa...