Sciweavers

17049 search results - page 369 / 3410
» cans 2007
Sort
View
WSC
2007
15 years 9 months ago
Analysis and generation of random vectors with copulas
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
Johann Christoph Strelen, Feras Nassaj
ICALT
2007
IEEE
15 years 8 months ago
Evaluating the automatic and manual creation process of adaptive lessons
Using adaptive, personalized courses is rewarding, as it can create a better learning experience, tailored for a specific learner’s needs. The process of creating these courses,...
Maurice Hendrix, Alexandra I. Cristea, Mike Joy
ECIR
2007
Springer
15 years 8 months ago
A Retrieval Evaluation Methodology for Incomplete Relevance Assessments
In this paper we a propose an extended methodology for laboratory based Information Retrieval evaluation under incomplete relevance assessments. This new protocol aims to identify ...
Mark Baillie, Leif Azzopardi, Ian Ruthven
DLT
2010
15 years 7 months ago
Minimization of Deterministic Bottom-Up Tree Transducers
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of norma...
Sylvia Friese, Helmut Seidl, Sebastian Maneth
AMAI
2007
Springer
15 years 7 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans