Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2024
Element-free probability distributions and random partitions
LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer ScienceArticle No.: 12, Pages 1–14https://doi.org/10.1145/3661814.3662131An "element-free" probability distribution is what remains of a probability distribution after we forget the elements to which the probabilities were assigned. These objects naturally arise in Bayesian statistics, in situations where elements are used as ...
- research-articleOctober 2023
Comprehending queries over finite maps
PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative ProgrammingArticle No.: 8, Pages 1–12https://doi.org/10.1145/3610612.3610620Recent programming languages research has developed language-integrated query, a convenient technique to seamlessly embed a domain-specific database query language into a general-purpose host programming language; such queries are then automatically ...
- research-articleFebruary 2022
Idempotent Variations on the Theme of Exclusive Disjunction
AbstractAn exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we ...
- research-articleDecember 2021
Reduction of Attribute Space Dimensionality: the SOCRATES Method
Scientific and Technical Information Processing (SPSTIP), Volume 48, Issue 5Pages 342–355https://doi.org/10.3103/S0147688221050063Abstract—The new SOCRATES (ShOrtening CRiteria and ATtributES) method for reducing the dimensionality of attribute space is described. In this method, a large number of initial numerical and/or verbal characteristics of objects are aggregated into a ...
-
- research-articleJune 2015
Using Data Merging Techniques for Generating Multidocument Summarizations
IEEE Transactions on Fuzzy Systems (TOFS), Volume 23, Issue 3Pages 576–592https://doi.org/10.1109/TFUZZ.2014.2317516In this paper, we examine how we can use data merging techniques to summarize a set of coreferent documents that has been clustered while using soft computing techniques. The main focus of this paper lies on the f<sub>β</sub>-optimal merge function ...
- research-articleMarch 2015
Compressing Sets and Multisets of Sequences
IEEE Transactions on Information Theory (ITHR), Volume 61, Issue 3Pages 1485–1490https://doi.org/10.1109/TIT.2015.2392093This paper describes lossless compression algorithms for multisets of sequences, taking advantage of the multiset's unordered structure. Multisets are a generalization of sets, where members are allowed to occur multiple times. A multiset can be encoded ...
- ArticleSeptember 2013
Comparing fβ-Optimal with Distance Based Merge Functions
FQAS 2013: Proceedings of the 10th International Conference on Flexible Query Answering Systems - Volume 8132Pages 233–244https://doi.org/10.1007/978-3-642-40769-7_21Merge functions informally combine information from a certain universe into a solution over that same universe. This typically results in a, preferably optimal, summarization. In previous research, merge functions over sets have been looked into ...
- ArticleMarch 2011
Coding of Sets of Words
DCC '11: Proceedings of the 2011 Data Compression ConferencePages 43–52https://doi.org/10.1109/DCC.2011.12We study the problem of coding of unordered sets of words, appearing in natural language processing, retrieval, machine learning, computer vision, and other fields. We note that this problem is different from the problem of coding of a particular ...
- ArticleNovember 2010
Description logics over multisets
Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last 20 years. It is wellknown that the interpretation domain of classical DLs is a classical set. However, in Science and in the ...
- articleJanuary 2009
Real Zeros and Normal Distribution for Statistics on Stirling Permutations Defined by Gessel and Stanley
SIAM Journal on Discrete Mathematics (SIDMA), Volume 23, Issue 1Pages 401–406https://doi.org/10.1137/070702254We study Stirling permutations defined by Gessel and Stanley in [J. Combin. Theory Ser. A, 24 (1978), pp. 25-33]. We prove that their generating function according to the number of descents has real roots only. We use that fact to prove that the ...
- ArticleSeptember 2008
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
CSL '08: Proceedings of the 22nd international workshop on Computer Science LogicPages 124–138https://doi.org/10.1007/978-3-540-87531-4_11We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by characteristic functions from a finite universe (of unknown size) to a user-defined ...
- research-articleJune 2008
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL), Volume 9, Issue 3Article No.: 15, Pages 1–30https://doi.org/10.1145/1352582.1352583Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of computer science. They have been analyzed from an axiomatic point of view with a parametric approach in Dovier et al. [1998], where the ...
- articleNovember 2007
Succinct indexable dictionaries with applications to encoding k-ary trees, prefix sums and multisets
ACM Transactions on Algorithms (TALG), Volume 3, Issue 4Pages 43–eshttps://doi.org/10.1145/1290672.1290680We consider the indexable dictionary problem, which consists of storing a set S ⊆ {0,…,m − 1} for some integer m while supporting the operations of rank(x), which returns the number of elements in S that are less than x if x ∈ S, and −1 otherwise; and ...
- articleMarch 2006
A Combinatorial Interpretation of the Chebyshev Polynomials
SIAM Journal on Discrete Mathematics (SIDMA), Volume 20, Issue 3Pages 649–655https://doi.org/10.1137/S0895480103432283We give a combinatorial interpretation of the Chebyshev polynomials in terms of the number of ideals of generalized fences and crowns.
- articleJanuary 2005
A New Shuffle Convolution for Multiple Zeta Values
Journal of Algebraic Combinatorics: An International Journal (KLU-JACO), Volume 21, Issue 1Pages 55–69https://doi.org/10.1007/s10801-005-6280-yRecently, interest in shuffle algebra has been renewed due to their connections with multiple zeta values. In this paper, we prove a new shuffle convolution that implies a reduction formula for the multiple zeta value z({5,1} n ).
- articleFebruary 2004
Sorting and election in anonymous asynchronous rings
Journal of Parallel and Distributed Computing (JPDC), Volume 64, Issue 2Pages 254–265https://doi.org/10.1016/j.jpdc.2003.11.007In an anonymous ring of n processors, all processors are totally indistinguishable except for their input values. These values are not necessarily distinct, i.e., they form a multiset, and this makes many problems particularly difficult. We consider the ...
- articleFebruary 2003
Enumerating submultisets of multisets
Information Processing Letters (IPRL), Volume 85, Issue 4Pages 221–226https://doi.org/10.1016/S0020-0190(02)00394-0We consider the problem of enumerating the submultisets of a multiset, in which each element has equal multiplicity. The crucial property is that consecutive submultisets in this listing differ one in the cardinality of exactly one of the elements. This ...
- articleJanuary 2002
Closure properties of multiset language families
Fundamenta Informaticae (FUNI), Volume 49, Issue 1Pages 191–203Multiset languages are languages defined by multiset grammars in the sense of [4]. We extend to multiset languages the usual operations defined for string languages and define new operations specific for multiset languages. The closure properties of the ...
- research-articleJuly 2001
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering (IEEECS_TKDE), Volume 13, Issue 4Pages 554–570https://doi.org/10.1109/69.940732Numerous frameworks have been proposed in recent years for deductive databases with uncertainty. On the basis of how uncertainty is associated with the facts and rules in a program, we classify these frameworks into implication-based (IB) and annotation-...