2735 search results - page 175 / 547 » Comparing notions of randomness |
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes work to enhance a sentencebased summarizer with notions of salience, dynamicallyadjustable summary size, discourse segmentation, and awareness of topic shifts...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
CIKM
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we introduce the notion of ranking robustness, which refers to a property of a ranked list of documents that indicates how stable the ranking is in the presence of ...
ACSD
2001
IEEE
14 years 2 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
DAGSTUHL
2004
13 years 11 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...