921 search results - page 90 / 185 » New Data Structures for Orthogonal Range Searching |
176
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
This paper presents Yagada, an algorithm to search labelled graphs for anomalies using both structural data and numeric attributes. Yagada is explained using several security-rela...
158
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
166
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Similarity search methods are widely used as kernels in various data mining and machine learning applications including those in computational biology, web search/clustering. Near...
151
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a novel data mining approach that employs evolutionary programming to discover knowledge represented in Bayesian networks. There are two different approaches ...
135
click to vote
FOIS
2006
15 years 5 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...