3330 search results - page 280 / 666 » software 2010 |
130
Voted
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
Computing the Dodgson Score of a candidate in an election is a hard computational problem, which has been analyzed using classical and parameterized analysis. In this paper we reso...
126
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
129
Voted
FUN
2010
Springer
15 years 5 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
101
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
99
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...