6800 search results - page 226 / 1360 » Testing with Functions as Specifications |
149
click to vote
JFP
2000
15 years 4 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
194
click to vote
CVPR
2009
IEEE
17 years 4 days ago
2009
IEEE
We propose a new bilateral filtering algorithm with computational
complexity invariant to filter kernel size, socalled
O(1) or constant time in the literature. By showing
that a...
130
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
129
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Protein-protein interactions are critical for cellular functions. Recently developed computational approaches for predicting protein-protein interactions utilize co-ev...
145
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...