Sciweavers

2795 search results - page 315 / 559
» Recommended or Not
Sort
View
FMICS
2008
Springer
15 years 1 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
86
Voted
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
15 years 1 months ago
Estimation of pump-curves using genetic algorithms
This paper presents a variety of different ways of estimating the general parameters for pump-curves. First a formulation is made that converts the problem into estimating four p...
Gerulf K. M. Pedersen, Zhenyu Yang
88
Voted
ICDIM
2007
IEEE
15 years 28 days ago
Assessing the value of unrated items in collaborative filtering
In collaborative filtering systems, a common technique is default voting. Unknown ratings are filled with a default value to alleviate the sparsity of rating databases. We show ...
Jérôme Kunegis, Andreas Lommatzsch, M...
114
Voted
ALIFE
2008
15 years 28 days ago
Criteria for Conceptual and Operational Notions of Complexity
While complex systems have been studied now for more than two decades, there still is no agreement on what complexity actually is. This lack of a definition might be a problem when...
Dominique Chu
CE
2008
107views more  CE 2008»
15 years 27 days ago
The design and evaluation of a computerized adaptive test on mobile devices
The use of computerized-adaptive testing (CAT) has expanded rapidly the last years mainly due to the advancements in communication and information technology. Availability of adva...
Evangelos Triantafillou, Georgiadou Elissavet, Ana...