285 search results - page 43 / 57 » New Ways to Construct Binary Search Trees |
105
click to vote
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
116
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...
103
click to vote
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
We show that a set of independently developed spam filters may be combined in simple ways to provide substantially better filtering than any of the individual filters. The resu...
109
click to vote
AAAI
2010
15 years 1 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...