Search results for "multisets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Sadaaki Miyamoto	Multisets and Fuzzy Multisets as a Framework of Information Systems.	MDAI	2004	DBLP DOI BibTeX RDF
95	Ruzica Piskac, Viktor Kuncak	Decision Procedures for Multisets with Cardinality Constraints.	VMCAI	2008	DBLP DOI BibTeX RDF
95	Sadaaki Miyamoto	Fuzzy Multisets and Their Generalizations.	WMP	2000	DBLP DOI BibTeX RDF
70	Apostolos Syropoulos	Mathematics of Multisets.	WMP	2000	DBLP DOI BibTeX RDF
69	Vicenç Torra, Yasuo Narukawa, Anders Dahlbom	On This Book: Clustering, Multisets, Rough Sets and Fuzzy Sets.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
57	Sadaaki Miyamoto	Data Structure and Operations for Fuzzy Multisets.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
57	Athanassios Tzouvaras	The Logic of Multisets Continued: The Case of Disjunction.	Stud Logica	2003	DBLP DOI BibTeX RDF	disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
57	Sadaaki Miyamoto	Generalizations of Fuzzy Multisets for Including Infiniteness.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
57	Andreas Weiermann	A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets.	CiE	2009	DBLP DOI BibTeX RDF	well-partial orderings, maximal order types, finite multisets, well-quasi orderings, ordinals, term orderings
57	Agostino Dovier, Carla Piazza, Gianfranco Rossi	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Membership and equality constraints, compact lists, sets, lists, multisets
50	Ruzica Piskac, Viktor Kuncak	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.	CSL	2008	DBLP DOI BibTeX RDF	verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
50	Yuji Yoshida	A Dynamic Average Value-at-Risk Portfolio Model with Fuzzy Random Variables.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Yukihiro Hamasuna, Yasunori Endo	On Some Clustering Algorithms Based on Tolerance.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Eulalia Szmidt, Janusz Kacprzyk	A Perspective on Differences Between Atanassov's Intuitionistic Fuzzy Sets and Interval-Valued Fuzzy Sets.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Masahiro Inuiguchi	Attribute Importance Degrees Corresponding to Several Kinds of Attribute Reduction in the Setting of the Classical Rough Sets.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Sadaaki Miyamoto	Contributions of Fuzzy Concepts to Data Clustering.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Katsuhiro Honda	Fuzzy Clustering/Co-clustering and Probabilistic Mixture Models-Induced Algorithms.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Camilo A. Franco, Jens Leth Hougaard, Kurt Nielsen	Clustering Alternatives and Learning Preferences Based on Decision Attitudes and Weighted Overlap Dominance.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Yasuo Kudo, Tetsuya Murai	A Review on Rough Set-Based Interrelationship Mining.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Fateme Kouchakinejad, Mashaallah Mashinchi, Radko Mesiar	L-Fuzzy Bags.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Ronald R. Yager	OWA Aggregation of Probability Distributions Using the Probabilistic Exceedance Method.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Laya Aliahmadipour, Vicenç Torra, Esfandiar Eslami	On Hesitant Fuzzy Clustering and Clustering of Hesitant Fuzzy Data.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Jan W. Owsinski, Janusz Kacprzyk, Karol R. Opara, Jaroslaw Tomasz Stanczak, Slawomir Zadrozny	Using a Reverse Engineering Type Paradigm in Clustering. An Evolutionary Programming Based Approach.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Francisco Javier Cabrerizo, Ignacio Javier Pérez, Francisco Chiclana, Enrique Herrera-Viedma	Group Decision Making: Consensus Approaches Based on Soft Consensus Measures.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Eva Armengol, Àngel García-Cerdaña, Pilar Dellunde	Experiences Using Decision Trees for Knowledge Discovery.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	José Luis García-Lapresta, David Pérez-Román	Consensus-Based Agglomerative Hierarchical Clustering.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Yasunori Endo, Naohiko Kinoshita	Various Types of Objective-Based Rough Clustering.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	Yuchi Kanzawa	Semi-supervised Fuzzy c-Means Algorithms by Revising Dissimilarity/Kernel Matrices.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	José Antonio Sanz 0001, Mikel Galar, Radko Mesiar, Anna Kolesárová, Humberto Bustince, Javier Fernández 0002, Javier Montero	Construction of Capacities from Overlap Indexes.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
50	László Szilágyi	Robust Clustering Algorithms Employing Fuzzy-Possibilistic Product Partition.	Fuzzy Sets, Rough Sets, Multisets and Clustering	2017	DBLP DOI BibTeX RDF
44	Marston D. E. Conder, Simon Marshall, Arkadii M. Slinko	Orders on Multisets and Discrete Cones.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F25, 91B16
44	Giovanna D'Agostino, Albert Visser	Finality regained: A coalgebraic study of Scott-sets and multisets.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
44	Calogero G. Zarba	Combining Multisets with Integers.	CADE	2002	DBLP DOI BibTeX RDF
44	Solomon Marcus	Tolerance Multisets.	WMP	2000	DBLP DOI BibTeX RDF
44	Gianfranco Lamperti, Michele Melchiori, Marina Zanella	On Multisets in Database Systems.	WMP	2000	DBLP DOI BibTeX RDF
44	Rajeev Raman, Venkatesh Raman 0001, Srinivasa Rao Satti	Succinct indexable dictionaries with applications to encoding k-ary trees, prefix sums and multisets.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Dictionaries, sets, perfect hashing, multisets, prefix sums, tries, succinct data structures
39	Bart Jacobs 0001	From Multisets over Distributions to Distributions over Multisets.	CoRR	2021	DBLP BibTeX RDF
39	Bart Jacobs 0001	From Multisets over Distributions to Distributions over Multisets.	LICS	2021	DBLP DOI BibTeX RDF
39	Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel	Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL.	FSCD	2017	DBLP DOI BibTeX RDF
39	Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel	Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
38	Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa	Encodings and Arithmetic Operations in Membrane Computing.	TAMC	2006	DBLP DOI BibTeX RDF
38	Dwaine E. Clarke, Srinivas Devadas, Marten van Dijk, Blaise Gassend, G. Edward Suh	Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
38	Rudolf Freund, Marion Oswald	P Systems with Activated/Prohibited Membrane Channels.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
38	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	Verifying an Applicative ATP Using Multiset Relations.	EUROCAST	2001	DBLP DOI BibTeX RDF
38	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
37	Juan Castellanos, Gheorghe Paun, Alfonso Rodríguez-Patón	Computing with Membranes: P Systems with Worm-Objects.	SPIRE	2000	DBLP DOI BibTeX RDF	worm-objects, string multisets, output membrane, recursively enumerable sets, quadratic time, membrane division, computational complexity, directed graph, NP-complete problem, symbols, P systems, linear time, SAT problem, Hamiltonian Path Problem, polynomial solution
37	Phyllis G. Frankl, Elaine J. Weyuker	A Formal Analysis of the Fault-Detecting Ability of Testing Methods.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software testing criteria, subdomains, subsumption relation, program testing, system recovery, formal analysis, multisets, fault-detecting ability, probabilistic measures
32	Nikos Ntarmos, Peter Triantafillou, Gerhard Weikum	Distributed hash sketches: Scalable, efficient, and accurate cardinality estimation for distributed multisets.	ACM Trans. Comput. Syst.	2009	DBLP DOI BibTeX RDF	distributed cardinality estimation, distributed data summary structures, hash sketches, peer-to-peer networks and systems, distributed information systems, Distributed estimation
32	Fabio Gadducci	A Term-Graph Syntax for Algebras over Multisets.	WADT	2008	DBLP DOI BibTeX RDF
32	Swami Iyer, Dan A. Simovici	Multisets and Clustering XML Documents.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
32	Jürgen Dassow, György Vaszil	Ciliate Bio-operations on Finite String Multisets.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
32	Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu	Number Encodings and Arithmetics over Multisets.	SYNASC	2006	DBLP DOI BibTeX RDF
32	Arash Farzan, Paolo Ferragina, Gianni Franceschini, J. Ian Munro	Cache-Oblivious Comparison-Based Algorithms on Multisets.	ESA	2005	DBLP DOI BibTeX RDF
32	Chien-Chung Chan	Learning Rules from Very Large Databases Using Rough Multisets.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
32	Rajeev Raman, Venkatesh Raman 0001, S. Srinivasa Rao 0001	Succinct indexable dictionaries with applications to encoding k-ary trees and multisets.	SODA	2002	DBLP BibTeX RDF
32	Hans Georg Schaathun	Duality and Greedy Weights of Linear Codes and Projective Multisets.	AAECC	2001	DBLP DOI BibTeX RDF
32	Yasuhiro Suzuki, Yoshi Fujiwara, Junji Takabayashi, Hiroshi Tanaka	Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets.	WMP	2000	DBLP DOI BibTeX RDF
25	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
25	Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang	Accelerating sequence searching: dimensionality reduction method.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Sequence similarity search, Sequence embedding, Index, Dimension reduction
25	Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh	Cardinality Abstraction for Declarative Networking Applications.	CAV	2009	DBLP DOI BibTeX RDF
25	Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Deconstructing Intractability: A Case Study for Interval Constrained Coloring.	CPM	2009	DBLP DOI BibTeX RDF
25	Vivek Nigam, Dale Miller 0001	Algorithmic specifications in linear logic with subexponentials.	PPDP	2009	DBLP DOI BibTeX RDF	subexponentials, linear logic, proof search
25	Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac	The Chemical Reaction Model Recent Developments and Prospects.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
25	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
25	Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang	Squeezing Long Sequence Data for Efficient Similarity Search.	APWeb	2008	DBLP DOI BibTeX RDF
25	Tom Matthé, Rita M. M. De Caluwe, Guy De Tré, Axel Hallez, Jörg Verstraete, Marc Leman, Olmo Cornelis, Dirk Moelants, Jos Gansemans	Similarity Between Multi-valued Thesaurus Attributes: Theory and Application in Multimedia Systems.	FQAS	2006	DBLP DOI BibTeX RDF
25	Lea Kissner, Dawn Xiaodong Song	Privacy-Preserving Set Operations.	CRYPTO	2005	DBLP DOI BibTeX RDF
25	Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.	FroCoS	2005	DBLP DOI BibTeX RDF
25	Gabriel Ciobanu, Viorel Mihai Gontineac	Algebraic and Coalgebraic Aspects of Membrane Computing.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
25	André E. Kézdy, Jenö Lehel, Robert C. Powers	Heavy Transversals and Indecomposable Hypergraphs.	Comb.	2003	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 05C65, 05C90, 05D15
25	Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun	Unexpected universality results for three classes of P systems with symport/antiport.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	membrane computing, P system, Turing computability, Chomsky hierarchy
25	Jeong-Yup Lee, Robert V. Moody, Boris Solomyak	Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
25	Juan Pazos, Alfonso Rodríguez-Patón, Andrés Silva	Solving SAT in Linear Time with a Neural-Like Membrane System.	IWANN (1)	2003	DBLP DOI BibTeX RDF
25	Kiyotaka Mizutani, Sadaaki Miyamoto	Fuzzy Multiset Model for Information Retrieval and Clustering Using a Kernel Function.	ISMIS	2003	DBLP DOI BibTeX RDF
25	Mihai Ionescu, Carlos Martín-Vide, Andrei Paun, Gheorghe Paun	Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport.	DNA	2002	DBLP DOI BibTeX RDF
25	James F. Peters, Andrzej Skowron, Zbigniew Suraj, Maciej Borkowski, Wojciech Rzasa	Measures of Inclusion and Closeness of Information Granules: A Rough Set Approach.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	measure, rough sets, sensor, inclusion, information granule, indistinguishability, Closeness
25	Manfred Kudlek, Victor Mitrana	Considerations on a Multiset Model for Membrane Computing.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
25	Petr Sosík, Rudolf Freund	String Rewriting Sequential P-Systems and Regulated Rewriting.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
25	Agostino Dovier, Carla Piazza, Gianfranco Rossi	Multiset Constraints and P Systems.	WMP	2000	DBLP DOI BibTeX RDF
25	Oliver Haase, Andreas Henrich	A Closed Approach to Vague Collections in Partly Inaccessible Distributed Databases.	ADBIS	1999	DBLP DOI BibTeX RDF
25	Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo	Embedding Multiset Constraints into a Lazy Functional Logic Language.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
25	Sandeep Sen, Neelima Gupta	Distribution-Sensitive Algorithms.	SWAT	1998	DBLP DOI BibTeX RDF
25	Nachum Dershowitz, Zohar Manna	Proving termination with Multiset Orderings.	ICALP	1979	DBLP DOI BibTeX RDF
25	Sven Hartmann, Sebastian Link	Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation
25	Laks V. S. Lakshmanan, Nematollaah Shiri	A Parametric Approach to Deductive Databases with Uncertainty.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets
25	Alioune Ngom, Ivan Stojmenovic, Ratko Tosic	The Computing Capacity of Three-Input Multiple-Valued One-Threshold Perceptrons.	ISMVL	2000	DBLP DOI BibTeX RDF	general position, partition, capacity, Separability, perceptrons, multiple-valued functions, multisets
25	Venu K. Murthy, E. V. Krishnamurthy	Gamma Programming Paradigm and Heterogeneous Computing.	HICSS (1)	1996	DBLP DOI BibTeX RDF	Entity- relationship (ER) model, Gamma model, Hetereogeneous Programming, Lattice, Distributed Programming, Multisets, Tuplespaces, Diffusing computation, Parallel programming paradigm
25	Yannis E. Ioannidis, Raghu Ramakrishnan 0001	Containment of Conjunctive Queries: Beyond Relations as Sets	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	query optimization, equivalence, conjunctive queries, query containment, multisets
19	Jeffrey Kam, Shahin Kamali, Avery Miller, Naomi Nishimura	Reconfiguration of Multisets with Applications to Bin Packing.	WALCOM	2024	DBLP DOI BibTeX RDF
19	Michael Anastos, David Fabian, Alp Müyesser, Tibor Szabó	Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
19	Varun Sivashankar	Extremal Uniquely Resolvable Multisets.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
19	Ioana O. Bercea, Guy Even	Dynamic Dictionaries for Multisets and Counting Filters with Constant Time Operations.	Algorithmica	2023	DBLP DOI BibTeX RDF
19	Tal Amir, Steven J. Gortler, Ilai Avni, Ravina Ravina, Nadav Dym	Neural Injective Functions for Multisets, Measures and Graphs via a Finite Witness Theorem.	CoRR	2023	DBLP DOI BibTeX RDF
19	Isa Vialard	Ordinal measures of the set of finite multisets.	CoRR	2023	DBLP DOI BibTeX RDF
19	Dexter Kozen, Alexandra Silva 0001	Multisets and Distributions.	CoRR	2023	DBLP DOI BibTeX RDF
19	Mikel Ferrero-Jaurrieta, Zdenko Takác, Iosu Rodríguez-Martínez, Cédric Marco-Detchart, Angela Bernardini, Javier Fernández 0002, Carlos Lopez-Molina, Humberto Bustince	From Restricted Equivalence Functions on $L^{n}$ to Similarity Measures Between Fuzzy Multisets.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Isa Vialard	Ordinal Measures of the Set of Finite Multisets.	MFCS	2023	DBLP DOI BibTeX RDF
19	Tal Amir, Steven J. Gortler, Ilai Avni, Ravina Ravina, Nadav Dym	Neural Injective Functions for Multisets, Measures and Graphs via a Finite Witness Theorem.	NeurIPS	2023	DBLP BibTeX RDF
19	Isabela Dramnesc, Tudor Jebelean	Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema.	SISY	2023	DBLP DOI BibTeX RDF
19	Markus Kuba	On Multisets, Interpolated Multiple Zeta Values and Limit Laws.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF