Sciweavers

1201 search results - page 183 / 241
» Exact Analysis of Exact Change
Sort
View
GECCO
2006
Springer
173views Optimization» more  GECCO 2006»
14 years 2 months ago
Sets of receiver operating characteristic curves and their use in the evaluation of multi-class classification
Within the last two decades, Receiver Operating Characteristic (ROC) Curves have become a standard tool for the analysis and comparison of classifiers since they provide a conveni...
Stephan M. Winkler, Michael Affenzeller, Stefan Wa...
ICSR
2000
Springer
14 years 2 months ago
Implementation Issues in Product Line Scoping
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
Klaus Schmid, Cristina Gacek
PEPM
2000
ACM
14 years 2 months ago
Calculating Sized Types
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
Wei-Ngan Chin, Siau-Cheng Khoo
ICSE
1997
IEEE-ACM
14 years 2 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
AAAI
2007
14 years 22 days ago
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...
Prashant Doshi