Search results for "Multiset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Gianfranco Lamperti, Michele Melchiori, Marina Zanella	On Multisets in Database Systems.	WMP	2000	DBLP DOI BibTeX RDF
107	Manfred Kudlek, Victor Mitrana	Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages.	WMP	2000	DBLP DOI BibTeX RDF
105	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
96	Taishin Y. Nishida	Multiset and K -Subset Transforming Systems.	WMP	2000	DBLP DOI BibTeX RDF
94	Allan Aasbjerg Nielsen	Multiset canonical correlations analysis and multispectral, truly multitemporal remote sensing data.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
85	Agostino Dovier, Carla Piazza, Gianfranco Rossi	Multiset Constraints and P Systems.	WMP	2000	DBLP DOI BibTeX RDF
83	Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya	Decidability of Safety Properties of Timed Multiset Rewriting.	FTRTFT	2002	DBLP DOI BibTeX RDF	real-time systems, timed automata, decidability, timed Petri nets
83	Pascal Fradet, Daniel Le Métayer	Type Checking for a Multiset Rewriting Language.	LOMAPS	1996	DBLP DOI BibTeX RDF	multiset rewriting, verification, invariant, graph grammars, type checking
76	Max I. Kanovich	Bijections between Partitions by Two-Directional Rewriting Techniques.	CSL	2002	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
74	Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana	Multiset Automata.	WMP	2000	DBLP DOI BibTeX RDF
72	Toby Walsh	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.	CP	2003	DBLP DOI BibTeX RDF
72	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.	ISSS	2002	DBLP DOI BibTeX RDF
66	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
63	Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce	Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.	WMP	2000	DBLP DOI BibTeX RDF
61	E. V. Krishnamurthy, Venu K. Murthy, Vikram Krishnamurthy	Biologically inspired rule-based multiset programming paradigm for soft-computing.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	biologically-inspired paradigm, closed and open systems, first and second order logic, genetic and molecular computing, probabilistic rule based paradigm, soft computing, DNA
61	Jorge Nakahara Jr., Daniel Santana de Freitas, Raphael Chung-Wei Phan	New Multiset Attacks on Rijndael with Large Blocks.	Mycrypt	2005	DBLP DOI BibTeX RDF	higher-order multiset attacks, cryptanalysis, Rijndael
55	Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001	On the minimum common integer partition problem.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition
55	Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001	On the Minimum Common Integer Partition Problem.	CIAC	2006	DBLP DOI BibTeX RDF
54	Rainer Gemulla, Wolfgang Lehner, Peter J. Haas	Maintaining bernoulli samples over evolving multisets.	PODS	2007	DBLP DOI BibTeX RDF	Bernoulli multiset sampling, incremental sample maintenance
54	Mazen El-Sayed, Daniel Pacholczyk	Reasoning under Vagueness Expressed by Nuanced Statements.	ECSQARU	2003	DBLP DOI BibTeX RDF	multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
54	Mazen El-Sayed, Daniel Pacholczyk	A Symbolic Approach to Vagueness Management.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
54	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
52	Wolfgang Reisig	The Linear Theory of Multiset Based Dynamic Systems.	WMP	2000	DBLP DOI BibTeX RDF
50	Aaron Williams	Loopless generation of multiset permutations using a constant number of variables by prefix shifts.	SODA	2009	DBLP DOI BibTeX RDF
50	Sadaaki Miyamoto, Kiyotaka Mizutani	Fuzzy Multiset Model and Methods of Nonlinear Document Clustering for Information Retrieval.	MDAI	2004	DBLP DOI BibTeX RDF
50	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
50	Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov	Relating Strands and Multiset Rewriting for Security Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
50	Paolo Ciancarini, Daniela Fogli, Mauro Gaspari	A Logic Language based on GAMMA-like Multiset Rewriting.	ELP	1996	DBLP DOI BibTeX RDF
50	Nachum Dershowitz, Zohar Manna	Proving termination with Multiset Orderings.	ICALP	1979	DBLP DOI BibTeX RDF
50	Solange Coupet-Grimal, William Delobel	An effective proof of the well-foundedness of the multiset path ordering.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Well-foundedness, Multiset path order, Termination, Constructive logic
50	Sitt Sen Chok, Kim Marriott	Automatic Construction of User Interfaces from Constraint Multiset Grammars.	VL	1995	DBLP DOI BibTeX RDF	constraint multiset grammar specification, sub-diagrams, primitive tokens, automatic error correction, geometric errors, diagram component manipulation, user interfaces, formal specification, semantics, graphical user interfaces, software tools, feedback, visual languages, visual language, error correction, grammars, diagrams, geometry, automatic programming, user interface management systems, pen-based computers, graphic editor, notebook computers, incremental parsing, automatic construction
46	Apostolos Syropoulos	Mathematics of Multisets.	WMP	2000	DBLP DOI BibTeX RDF
46	Solomon Marcus	Tolerance Multisets.	WMP	2000	DBLP DOI BibTeX RDF
46	Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun	Toward a Formal Macroset Theory.	WMP	2000	DBLP DOI BibTeX RDF
44	A. Kumar, J. Xu, J. Wang	Space-Code Bloom Filter for Efficient Per-Flow Traffic Measurement.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
44	Gabriel Ciobanu, Viorel Mihai Gontineac	Algebraic and Coalgebraic Aspects of Membrane Computing.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
44	Anarta Ghosh, Nicolai Petkov	Robustness of Shape Descriptors to Incomplete Contour Representations.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	COIL, depletion, distance multiset, Gollin, ICR test, object recognition, shape, occlusion, MPEG-7, psychophysics, Contour, deletion, incompleteness, shape context
44	Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio	Sorting Multisets in Anonymous Rings.	IPDPS	2000	DBLP DOI BibTeX RDF	distributed algorithms, sorting, leader election, anonymous network, multiset
39	Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee	Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	VLIW DSP processor, optimizing context switch overhead, microkernel design
39	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	FORTE	2008	DBLP DOI BibTeX RDF
39	Hans-Jörg Kreowski, Sabine Kuske	Graph Multiset Transformation as a Framework for Massively Parallel Computation.	ICGT	2008	DBLP DOI BibTeX RDF
39	Simon McGregor	Neural Network Processing for Multiset Data.	ICANN (1)	2007	DBLP DOI BibTeX RDF
39	Gheorghe Paun, Gabriel Thierrin	Multiset Processing by Means of Systems of Finite State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
39	Paola Alimonti, Paola Flocchini, Nicola Santoro	Finding the Extrema of a Distributed Multiset.	WDAG	1994	DBLP DOI BibTeX RDF
39	Dieter Hofbauer	Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.	ALP	1990	DBLP DOI BibTeX RDF
39	Patrick Truong, Fabrice Guillemin	Estimating Local Cardinalities in a Multidimensional Multiset. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF	Local Cardinality, Top-talkers, Real-time data mining, Network monitoring and security, Multiset, Cardinality
35	Vinay Gautam 0003	l-Valued Multiset Automata and l-Valued Multiset Languages.	New Math. Nat. Comput.	2021	DBLP DOI BibTeX RDF
35	Dmitri V. Fomin	Is the Multiset of n Integers Uniquely Determined by the Multiset of Its s-sums?	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
35	Mona Hosny, Mahmoud Raafat	On generalization of rough multiset via multiset ideals.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
35	Amr Zakaria, Sunil Jacob John, Sobhy A. El-Sheikh	Generalized rough multiset via multiset ideals.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
35	K. P. Girish, Sunil Jacob John	Multiset topologies induced by multiset relations.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
35	K. P. Girish, Sunil Jacob John	Rough Multiset and Its Multiset Topology.	Trans. Rough Sets	2011	DBLP DOI BibTeX RDF
35	Manfred Kudlek, Patrick Totzke, Georg Zetzsche	Properties of Multiset Language Classes Defined by Multiset Pushdown Automata.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
35	Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.)	Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000]	WMP	2001	DBLP DOI BibTeX RDF
35	Jürgen Dassow	Parikh Mapping and Iteration.	WMP	2000	DBLP DOI BibTeX RDF
35	Adam Obtulowicz	On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time.	WMP	2000	DBLP DOI BibTeX RDF
35	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
35	Madhu Mutyam, Kamala Krithivasan	Universality Results for Some Variants of P Systems.	WMP	2000	DBLP DOI BibTeX RDF
35	Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer	Gamma and the Chemical Reaction Model: Fifteen Years After.	WMP	2000	DBLP DOI BibTeX RDF
35	Sadaaki Miyamoto	Fuzzy Multisets and Their Generalizations.	WMP	2000	DBLP DOI BibTeX RDF
35	Fernando Arroyo, Angel V. Baranda, Juan Castellanos, Carmen Luengo, Luis F. Mingo	Structures and Bio-language to Simulate Transition P Systems on Digital Computers.	WMP	2000	DBLP DOI BibTeX RDF
33	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
33	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
33	Oscar H. Ibarra, Hsu-Chun Yen	On Deterministic Catalytic Systems.	CIAA	2005	DBLP DOI BibTeX RDF
33	Abhishek Kumar 0003, Jun (Jim) Xu, Li (Erran) Li, Jia Wang 0001	Space-code bloom filter for efficient traffic flow measurement.	Internet Measurement Conference	2003	DBLP DOI BibTeX RDF	data structures, network measurement, bloom filter, traffic analysis, statistical inference
33	Arye Barkan, Haim Kaplan	Partial Alphabetic Trees.	ESA	2002	DBLP DOI BibTeX RDF
33	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
33	Jyrki Katajainen, Tomi Pasanen	Sorting Multisets Stably in Minimum Space.	SWAT	1992	DBLP DOI BibTeX RDF
33	Fritz Henglein	Generic discrimination: sorting and paritioning unshared data in linear time.	ICFP	2008	DBLP DOI BibTeX RDF	multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
33	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
33	Haitao Dan, Robert M. Hierons, Steve Counsell	A Thread-tag Based Semantics for Sequence Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF	Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram
33	Mazen El-Sayed, Daniel Pacholczyk	A Qualitative Reasoning with Nuanced Information.	JELIA	2002	DBLP DOI BibTeX RDF	Multiset theory, Many-valued logic, Vagueness, Knowledge representation and reasoning, Imprecision
33	Sanjoy K. Baruah, Shun-Shii Lin	Improved scheduling of generalized pinwheel task systems.	RTCSA	1997	DBLP DOI BibTeX RDF	generalized pinwheel task systems, ordered pairs, positive integers, preprocessing time, scheduling, processor scheduling, linear-time algorithm, multiset
28		Multiset Semantics.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
28	Kevin S. Beyer, Rainer Gemulla, Peter J. Haas, Berthold Reinwald, Yannis Sismanis	Distinct-value synopses for multiset operations.	Commun. ACM	2009	DBLP DOI BibTeX RDF
28	José M. Sempere	Translating Multiset Tree Automata into P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
28	Sébastien Macé, Éric Anquetil	Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars.	HCI (2)	2007	DBLP DOI BibTeX RDF	on-line interpretation, structured document analysis, software assessing, visual languages, Pen-based interfaces, incremental parsing
28	Sébastien Macé	Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation.	ICDAR	2007	DBLP DOI BibTeX RDF
28	José M. Sempere, Damián López	Characterizing Membrane Structures Through Multiset Tree Automata.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
28	Uday Seelam, Chien-Chung Chan	A Study of Data Reduction Using Multiset Decision Tables.	GrC	2007	DBLP DOI BibTeX RDF
28	Claude-Guy Quimper, Toby Walsh	The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.	CSCLP	2005	DBLP DOI BibTeX RDF
28	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.	CP	2004	DBLP DOI BibTeX RDF
28	Artiom Alhazov, Dragos Sburlan	Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
28	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
28	Kiyotaka Mizutani, Sadaaki Miyamoto	Fuzzy Multiset Model for Information Retrieval and Clustering Using a Kernel Function.	ISMIS	2003	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli	On Representing Biological Systems through Multiset Rewriting.	EUROCAST	2003	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
28	John C. Mitchell	Multiset Rewriting and Security Protocol Analysis.	RTA	2002	DBLP DOI BibTeX RDF
28	Tadao Takaoka	An O(1) Time Algorithm for Generating Multiset Permutations.	ISAAC	1999	DBLP DOI BibTeX RDF
28	Hugh McEvoy, Pieter H. Hartel	Local Linear Logic for Locality Consciousness in Multiset Transformation	PLILP	1995	DBLP DOI BibTeX RDF
28	Joost Engelfriet	A Multiset Semantics for the pi-Calculus with Replication.	CONCUR	1993	DBLP DOI BibTeX RDF
28	Bing-Chao Huang, Michael A. Langston	Stable Set and Multiset Operations in Optimal Time and Space.	PODS	1988	DBLP DOI BibTeX RDF
22	Sara Cohen	Equivalence of queries that are sensitive to multiplicities.	VLDB J.	2009	DBLP DOI BibTeX RDF	Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
22	Linmin Yang, Yong Wang, Zhe Dang	Automata on Multisets of Communicating Objects.	UC	2008	DBLP DOI BibTeX RDF
22	Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette	Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs.	ICALP	2007	DBLP DOI BibTeX RDF
22	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness
22	Sachin Agarwal 0001, Vikas Chauhan, Ari Trachtenberg	Bandwidth Efficient String Reconciliation Using Puzzles.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Efficient file synchronization, string reconstruction, rsync
22	Sara Cohen	Equivalence of queries combining set and bag-set semantics.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, combined semantics, set semantics, Datalog, query equivalence
22	David P. Woodruff	Better Approximations for the Minimum Common Integer Partition Problem.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
22	Francesco Bernardini, Marian Gheorghe 0001	Cell communication in tissue P systems: universality results.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Tissue, Membrane computing, Turing computability