5863 search results - page 165 / 1173 » Calculating Functional Programs |
189
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: In recent years, clustering algorithms have been effectively applied in molecular biology for gene expression data analysis. With the help of clustering algorithms suc...
163
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
177
click to vote
IH
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce a new feature-based steganalytic method for JPEG images and use it as a benchmark for comparing JPEG steganographic algorithms and evaluating their embe...
154
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
200
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...