Sciweavers

3719 search results - page 225 / 744
» order 2010
Sort
View
ECIR
2010
Springer
15 years 7 months ago
Query Performance Prediction: Evaluation Contrasted with Effectiveness
Query performance predictors are commonly evaluated by reporting correlation coefficients to denote how well the methods perform at predicting the retrieval performance of a set of...
Claudia Hauff, Leif Azzopardi, Djoerd Hiemstra, Fr...
C3S2E
2010
ACM
15 years 7 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
ECTEL
2010
Springer
15 years 7 months ago
Knowledge Maturing Activities and Practices Fostering Organisational Learning: Results of an Empirical Study
Abstract. Knowledge work is performed in all occupations and across all industries. The level of similarity of knowledge work allows for designing supporting tools that can be wide...
Andreas Kaschig, Ronald Maier, Alexander Sandow, M...
ICANN
2010
Springer
15 years 7 months ago
Discovery of Exogenous Variables in Data with More Variables Than Observations
Many statistical methods have been proposed to estimate causal models in classical situations with fewer variables than observations. However, modern datasets including gene expres...
Yasuhiro Sogawa, Shohei Shimizu, Aapo Hyvärin...
SIGCOMM
2010
ACM
15 years 6 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker