2344 search results - page 368 / 469 » Generating from a Deep Structure |
RAID
2009
Springer
15 years 5 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
ICDM
2008
IEEE
15 years 5 months ago
2008
IEEE
In recent years, co-clustering has emerged as a powerful data mining tool that can analyze dyadic data connecting two entities. However, almost all existing co-clustering techniqu...
KBSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
110
click to vote
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
TOOLS
2008
IEEE
15 years 5 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...