473 search results - page 70 / 95 » Heapable Sequences and Subsequences |
108
click to vote
WSC
2000
15 years 3 months ago
2000
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
123
Voted
ENGL
2007
15 years 1 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
109
click to vote
COCO
1994
Springer
15 years 6 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
115
click to vote
AAAI
2007
15 years 4 months ago
2007
String kernels directly model sequence similarities without the necessity of extracting numerical features in a vector space. Since they better capture complex traits in the seque...
104
click to vote
CSC
2006
15 years 3 months ago
2006
- A variety of data analysis concerned with genome sequences support the proposal that each living organism owns a genomic signature. Classical approaches to the genomic signature ...