نتایج جستجو برای: axiomatic result
تعداد نتایج: 667653 فیلتر نتایج به سال:
We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures.
We provide an axiomatic characterization of Bayesian updating, viewed as a mapping from prior beliefs and new information to posteriors, which is disentangled any reference preferences. updating characterized by Non-Innovativeness (events considered impossible in the remain posterior), Dropping contradicted evidence are Proportionality (for other events, posterior simply rescales prior’s probab...
We introduce an axiomatic approach to group recommendations, in line of previous work on the axiomatic treatment of trust-based recommendation systems, ranking systems, and other foundational work on the axiomatic approach to internet mechanisms in social choice settings. In group recommendations we wish to recommend to a group of agents, consisting of both opinionated and undecided members, a ...
We propose a basis for a formal method to specify and verify programs in the framework of tuple space languages. We address three points: single out a speciication language; deene language semantics; show how to verify program properties. The speciication language is a variation of temporal logic. We build our formulae over atoms instead of propositional symbols, i.e. we work with a rst order t...
Despite the widespread use of Clustering, there is distressingly little general theory of clustering available. Questions like “What distinguishes a clustering of data from other data partitioning?”, “Are there any principles governing all clustering paradigms?”, “How should a user choose an appropriate clustering algorithm for a particular task?”, etc. are almost completely unanswered by the e...
Kleinberg introduced three natural clustering properties, or axioms, and showed they cannot be simultaneously satisfied by any algorithm. We present a new property, Monotonic Consistency, which avoids the well-known problematic behaviour of Kleinberg’s Consistency axiom, impossibility result. Namely, we describe algorithm, Morse Clustering, inspired Theory in Differential Topology, satisfies or...
With the birth of Web, the amount of information grows rapidly. Such a huge amount of information poses significant challenges in text information management. Search engines are by far the most powerful tools that help users find information. The accuracy of search engines significantly affects our productivity and our quality of life. Text retrieval is the underlying research problem behind al...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید