5234 search results - page 195 / 1047 » Method Components - Rationale Revealed |
121
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
151
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
We develop and evaluate an approach to causal modeling based on time series data, collectively referred to as“grouped graphical Granger modeling methods.” Graphical Granger mo...
129
Voted
ACL
1996
15 years 4 months ago
1996
This paper addresses the problem of correcting spelling errors that result in valid, though unintended words (such as peace and piece, or quiet and quite) and also the problem of ...
144
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
147
click to vote
BMCBI
2010
2010
Evaluation of methods for detection of fluorescence labeled subcellular objects in microscope images
15 years 3 months ago
Background: Several algorithms have been proposed for detecting fluorescently labeled subcellular objects in microscope images. Many of these algorithms have been designed for spe...