397 search results - page 63 / 80 » Causal Reasoning with Contexts Using Dependent Types |
EMO
2006
Springer
13 years 11 months ago
2006
Springer
The design of quality measures for approximations of the Pareto-optimal set is of high importance not only for the performance assessment, but also for the construction of multiobj...
IGPL
2010
13 years 6 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
ECTEL
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...
DOCENG
2004
ACM
14 years 28 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...