Sciweavers

1888 search results - page 187 / 378
» Proof theory and computational analysis
Sort
View
EMMCVPR
1999
Springer
15 years 11 months ago
Markov Random Field Modelling of fMRI Data Using a Mean Field EM-algorithm
This paper considers the use of the EM-algorithm, combined with mean field theory, for parameter estimation in Markov random field models from unlabelled data. Special attention ...
Markus Svensén, Frithjof Kruggel, D. Yves v...
AINA
2008
IEEE
15 years 9 months ago
Monitoring Network Traffic to Detect Stepping-Stone Intrusion
Most network intruders tend to use stepping-stones to attack or to invade other hosts to reduce the risks of being discovered. There have been many approaches that were proposed t...
Jianhua Yang, Byong Lee, Stephen S. H. Huang
AAAI
2006
15 years 8 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
SAC
2008
ACM
15 years 6 months ago
Spatial vagueness and imprecision in databases
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...
Alejandro Pauly, Markus Schneider
JMLR
2012
13 years 9 months ago
Sparse Additive Machine
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
Tuo Zhao, Han Liu