Sciweavers

4650 search results - page 464 / 930
» Generating and evaluating evaluative arguments
Sort
View
MLCW
2005
Springer
16 years 11 days ago
Lessons Learned in the Challenge: Making Predictions and Scoring Them
In this paper we present lessons learned in the Evaluating Predictive Uncertainty Challenge. We describe the methods we used in regression challenges, including our winning method ...
Jukka Kohonen, Jukka Suomela
RE
2005
Springer
16 years 11 days ago
Quality Analysis of NL Requirements: An Industrial Case Study
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
Antonio Bucchiarone, Stefania Gnesi, P. Pierini
SAT
2005
Springer
111views Hardware» more  SAT 2005»
16 years 11 days ago
On Subsumption Removal and On-the-Fly CNF Simplification
Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simpl...
Lintao Zhang
TGC
2005
Springer
16 years 11 days ago
Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
James Skene, Wolfgang Emmerich
ACII
2005
Springer
16 years 10 days ago
Fist Tracking Using Bayesian Network
Abstract. This paper presents a Bayesian network based multi-cue fusion method for robust and real-time fist tracking. Firstly, a new strategy, which employs the latest work in fa...
Peng Lu, Yufeng Chen, Mandun Zhang, Yangsheng Wang