4502 search results - page 459 / 901 » Regular Model Checking |
202
click to vote
AIIA
2005
Springer
16 years 1 months ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
189
click to vote
CSSW
2007
15 years 9 months ago
2007
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...
211
click to vote
NIPS
2007
15 years 9 months ago
2007
Generalized linear models are the most commonly used tools to describe the stimulus selectivity of sensory neurons. Here we present a Bayesian treatment of such models. Using the ...
219
click to vote
ACL
2006
15 years 9 months ago
2006
Lasso is a regularization method for parameter estimation in linear models. It optimizes the model parameters with respect to a loss function subject to model complexities. This p...
175
click to vote
JGAA
2007
15 years 7 months ago
2007
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...