Sciweavers

536 search results - page 57 / 108
» Unsupervised evidence integration
Sort
View
ICML
2007
IEEE
15 years 12 months ago
On one method of non-diagonal regularization in sparse Bayesian learning
In the paper we propose a new type of regularization procedure for training sparse Bayesian methods for classification. Transforming Hessian matrix of log-likelihood function to d...
Dmitry Kropotov, Dmitry Vetrov
ICML
2005
IEEE
15 years 12 months ago
Learning as search optimization: approximate large margin methods for structured prediction
Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., li...
Daniel Marcu, Hal Daumé III
76
Voted
ICALT
2009
IEEE
15 years 6 months ago
Enhancing Computer Assisted Assessment Using Rubrics in a QTI Editor
With the aim of facilitating teachers the use of good techniques in computer assisted assessment, this paper proposes the integration of rubric functionalities in an editor compli...
Patricia Santos, Xavier Colina, Davinia Hern&aacut...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 5 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
ICNS
2007
IEEE
15 years 5 months ago
Data fusion algorithms for network anomaly detection: classification and evaluation
In this paper, the problem of discovering anomalies in a large-scale network based on the data fusion of heterogeneous monitors is considered. We present a classification of anoma...
Vasilis Chatzigiannakis, Georgios Androulidakis, K...