Sciweavers

5699 search results - page 231 / 1140
» Alternating model trees
Sort
View
RE
2001
Springer
15 years 10 months ago
A Requirements Negotiation Model Based on Multi-Criteria Analysis
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
Hoh In, David Olson, Tom Rodgers
PROCEDIA
2010
85views more  PROCEDIA 2010»
15 years 4 months ago
Toward interactive statistical modeling
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...
FM
2003
Springer
174views Formal Methods» more  FM 2003»
15 years 11 months ago
Model-Checking TRIO Specifications in SPIN
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
Angelo Morzenti, Matteo Pradella, Pierluigi San Pi...
DAGM
1998
Springer
15 years 10 months ago
Discrete Mixture Models for Unsupervised Image Segmentation
This paper introduces a novel statistical mixture model for probabilistic clustering of histogram data and, more generally, for the analysis of discrete co occurrence data. Adoptin...
Jan Puzicha, Joachim M. Buhmann, Thomas Hofmann
CSDA
2008
68views more  CSDA 2008»
15 years 6 months ago
Modelling the US, UK and Japanese unemployment rates: Fractional integration and structural breaks
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...
Guglielmo Maria Caporale, Luis A. Gil-Alana