4350 search results - page 571 / 870 » Case studies for contract-based systems |
169
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
150
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...
169
click to vote
HIS
2008
15 years 8 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
186
click to vote
LREC
2008
15 years 8 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
154
click to vote
LWA
2008
15 years 8 months ago
2008
In this paper we present the concept of hybrid personalization, the combination of multiple atomic personalization mechanisms. The idea of hybrid personalization is related to hyb...