867 search results - page 7 / 174 » On Two Forms of Structural Recursion |
BMCBI
2008
15 years 14 days ago
2008
Background: It has been previously shown that palindromic sequences are frequently observed in proteins. However, our knowledge about their evolutionary origin and their possible ...
70
Voted
TSP
2008
15 years 7 days ago
2008
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...
103
Voted
MPC
1995
Springer
15 years 3 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
126
click to vote
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
107
Voted
IJCAI
2007
15 years 1 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...