2553 search results - page 232 / 511 » Modeling Trees with Hypertextures |
159
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a novel approach using Hidden Markov Models (HMM) to detect complex Internet attacks. These attacks consist of several steps that may occur over an extended pe...
142
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
183
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). Detecting this process bears great significanc...
142
click to vote
HM
2007
Springer
15 years 11 months ago
2007
Springer
The connected facility location (ConFL) problem generalizes the facility location problem and the Steiner tree problem in graphs. Given a graph G = (V, E), a set of customers D ⊆...
155
click to vote
UAI
2008
15 years 6 months ago
2008
Nonparametric Bayesian models are often based on the assumption that the objects being modeled are exchangeable. While appropriate in some applications (e.g., bag-ofwords models f...