5863 search results - page 186 / 1173 » Calculating Functional Programs |
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
126
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Laboratory techniques used to determine haplotypes are often too expensive for large-scale studies and lack of phase information is commonly overcome using likelihood-...
162
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
162
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
138
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...