Sciweavers

2351 search results - page 30 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ITRUST
2004
Springer
15 years 3 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
NIPS
2007
14 years 11 months ago
Catching Up Faster in Bayesian Model Selection and Model Averaging
Bayesian model averaging, model selection and their approximations such as BIC are generally statistically consistent, but sometimes achieve slower rates of convergence than other...
Tim van Erven, Peter Grunwald, Steven de Rooij
MCS
2000
Springer
15 years 1 months ago
Analysis of a Fusion Method for Combining Marginal Classifiers
The use of multiple features by a classifier often leads to a reduced probability of error, but the design of an optimal Bayesian classifier for multiple features is dependent on t...
Mark D. Happel, Peter Bock
COLING
2010
14 years 4 months ago
Forest-guided Supertagger Training
Supertagging is an important technique for deep syntactic analysis. A supertagger is usually trained independently of the parser using a sequence labeling method. This presents an...
Yao-zhong Zhang, Takuya Matsuzaki, Jun-ichi Tsujii
ECIS
2003
14 years 11 months ago
The method evaluation model: a theoretical model for validating information systems design methods
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
Daniel L. Moody