Sciweavers

4167 search results - page 11 / 834
» Regression model checking
Sort
View
ICML
2006
IEEE
14 years 8 months ago
Collaborative ordinal regression
Ordinal regression has become an effective way of learning user preferences, but most of research only focuses on single regression problem. In this paper we introduce collaborati...
Shipeng Yu, Kai Yu, Volker Tresp, Hans-Peter Krieg...
CSDA
2007
110views more  CSDA 2007»
13 years 7 months ago
Bayesian modelling strategies for spatially varying regression coefficients: A multivariate perspective for multiple outcomes
This paper considers modelling spatially varying regression effects for multivariate mortality count outcomes. Alternative approaches to spatial regression heterogeneity are consi...
P. Congdon
MOVEP
2000
167views Hardware» more  MOVEP 2000»
13 years 11 months ago
Model Checking: A Tutorial Overview
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
Stephan Merz
LPAR
2005
Springer
14 years 1 months ago
Pushdown Module Checking
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
Laura Bozzelli, Aniello Murano, Adriano Peron
PPSN
2010
Springer
13 years 6 months ago
Globally Induced Model Trees: An Evolutionary Approach
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
Marcin Czajkowski, Marek Kretowski