738 search results - page 99 / 148 » Formal Methods: for All or for Chosen |
BMCBI
2007
13 years 8 months ago
2007
Background: For successful protein structure prediction by comparative modeling, in addition to identifying a good template protein with known structure, obtaining an accurate seq...
ISI
2008
Springer
13 years 8 months ago
2008
Springer
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...
ISBI
2009
IEEE
14 years 3 months ago
2009
IEEE
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
SAFECOMP
2007
Springer
14 years 2 months ago
2007
Springer
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...