Sciweavers

953 search results - page 39 / 191
» INEX 2007 Evaluation Measures
Sort
View
JOI
2010
76views more  JOI 2010»
14 years 10 months ago
q2-Index: Quantitative and qualitative evaluation based on the number and impact of papers in the Hirsch core
Bibliometric studies at the micro level are increasingly requested by science managers and policy makers to support research decisions. Different measures and indices have been d...
Francisco Javier Cabrerizo, Sergio Alonso, Enrique...
NIPS
2007
15 years 1 months ago
Transfer Learning using Kolmogorov Complexity: Basic Theory and Empirical Evaluations
In transfer learning we aim to solve new problems using fewer examples using information gained from solving related problems. Transfer learning has been successful in practice, a...
M. M. Mahmud, Sylvian R. Ray
DLOG
2007
15 years 2 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 6 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
CORR
2007
Springer
57views Education» more  CORR 2007»
14 years 11 months ago
On Evaluating the Rate-Distortion Function of Sources with Feed-Forward and the Capacity of Channels with Feedback
— In this work, we study the problem of evaluating the performance limit of two communication problems that are closely related to each other- source coding with feed-forward and...
Ramji Venkataramanan, S. Sandeep Pradhan