2932 search results - page 412 / 587 » Higher order mining |
102
click to vote
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
108
click to vote
WAW
2009
Springer
15 years 7 months ago
2009
Springer
We consider a random subgraph Gp of a host graph G formed by retaining each edge of G with probability p. We address the question of determining the critical value p (as a function...
91
Voted
WEBI
2009
Springer
15 years 7 months ago
2009
Springer
The World Wide Web has transformed into an environment where users both produce and consume information. In order to judge the validity of information, it is important to know how...
108
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Many applications in structure matching require the ability to search for graphs that are similar to a query graph, i.e., similarity graph queries. Prior works, especially in chem...
85
Voted
FC
2009
Springer
15 years 7 months ago
2009
Springer
Attackers compromise web servers in order to host fraudulent content, such as malware and phishing websites. While the techniques used to compromise websites are widely discussed a...