Search results for "multisets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Jyrki Katajainen, Tomi Pasanen	Sorting Multisets Stably in Minimum Space.	Acta Informatica	1994	DBLP DOI BibTeX RDF
19	Marcel Rupf, James L. Massey	Optimum sequence multisets for synchronous code-division multiple-access channels.	IEEE Trans. Inf. Theory	1994	DBLP DOI BibTeX RDF
19	Wayne D. Blizard	Dedekind Multisets and Function Shells.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
19	Daniel E. Loeb	Towards the critical problem: on the coalgebraic relation between sets and multisets.	Discret. Math.	1993	DBLP DOI BibTeX RDF
19	Daniel E. Cooke	A High Level Programming Language Based Upon Ordered Multisets.	SEKE	1993	DBLP BibTeX RDF
19	Ursula Martin, Elizabeth Scott	The order types of termination orderings on monadic terms, strings and multisets	LICS	1993	DBLP DOI BibTeX RDF
19	Steffen Hölldobler, Michael Thielscher	On Logic Programming with Multisets.	ICLP Workshop on Logic Programming with Sets	1993	DBLP BibTeX RDF
19	Jyrki Katajainen, Tomi Pasanen	Sorting Multisets Stably in Minimum Space.	SWAT	1992	DBLP DOI BibTeX RDF
19	Yuan-Long Jeang, Jhing-Fa Wang, Jau-Yien Lee	On the Performance Guarantees of the Minimum Multisets Binding (MMB) Problem.	J. Inf. Sci. Eng.	1991	DBLP BibTeX RDF
19	J. Ian Munro, Venkatesh Raman 0001	Sorting Multisets and Vectors In-Place.	WADS	1991	DBLP DOI BibTeX RDF
19	Michel Cosnard, Jean Duprat, Afonso Ferreira	The Complexity of Searching in X+Y and Other Multisets.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
19	Ian Anderson 0001	An Erdös-Ko-Rado theorem for multisets.	Discret. Math.	1988	DBLP DOI BibTeX RDF
19	Jerzy W. Grzymala-Busse	Learning from Examples based on Rough Multisets.	ISMIS	1987	DBLP BibTeX RDF
19	Wolfram Büttner	Unification in Datastructure Multisets.	J. Autom. Reason.	1986	DBLP DOI BibTeX RDF
19	Edward A. Bender, John S. Devitt, L. Bruce Richmond	Partitions of multisets II.	Discret. Math.	1984	DBLP DOI BibTeX RDF
19	N. G. de Bruijn	Denumerations of rooted trees and multisets.	Discret. Appl. Math.	1983	DBLP DOI BibTeX RDF
19	Donald B. Johnson 0001, Samuel D. Kashdan	Lower Bounds for Selection in X+Y and Other Multisets.	J. ACM	1978	DBLP DOI BibTeX RDF
19	J. Ian Munro, Philip M. Spira	Sorting and Searching in Multisets.	SIAM J. Comput.	1976	DBLP DOI BibTeX RDF
19	Edward A. Bender	Partitions of multisets.	Discret. Math.	1974	DBLP DOI BibTeX RDF
13	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
13	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
13	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
13	Sadaaki Miyamoto	Generalized Bags, Bag Relations, and Applications to Data Analysis and Decision Making.	MDAI	2009	DBLP DOI BibTeX RDF	Generalized bag, s-norm, bag relation, decision making, data analysis, convex function
13	Rada Chirkova, Michael R. Genesereth	Equivalence of SQL queries in presence of embedded dependencies.	PODS	2009	DBLP DOI BibTeX RDF	embedded dependencies, conjunctive queries, query equivalence
13	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
13	Baudoin Collard, François-Xavier Standaert	A Statistical Saturation Attack against the Block Cipher PRESENT.	CT-RSA	2009	DBLP DOI BibTeX RDF
13	David A. Basin, Samuel J. Burri, Günter Karjoth	Dynamic Enforcement of Abstract Separation of Duty Constraints.	ESORICS	2009	DBLP DOI BibTeX RDF
13	Patrick Maier 0001	Deciding Extensions of the Theories of Vectors and Bags.	VMCAI	2009	DBLP DOI BibTeX RDF
13	Thomas Wies, Ruzica Piskac, Viktor Kuncak	Combining Theories with Shared Set Operations.	FroCoS	2009	DBLP DOI BibTeX RDF
13	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
13	Zbigniew Bonikowski, Urszula Wybraniec-Skardowska	Vagueness and Roughness.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	vague knowledge, membership relation, vague logic, rough sets, knowledge, vagueness, vague sets, roughness
13	Qingping Tao, Stephen D. Scott 0001, N. V. Vinodchandran, Thomas Takeo Osugi, Brandon Mueller	Kernels for Generalized Multiple-Instance Learning.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
13	Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel	Essence : A constraint language for specifying combinatorial problems.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
13	Jean-Louis Giavitto, Olivier Michel 0001, Antoine Spicher	Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
13	Cheng-Wei Luo, Hsiao-Fei Liu, Peng-An Chen, Kun-Mao Chao	Minkowski Sum Selection and Finding.	ISAAC	2008	DBLP DOI BibTeX RDF	Bioinformatics, Sequence analysis, Minkowski sum
13	Ruzica Piskac, Viktor Kuncak	Linear Arithmetic with Stars.	CAV	2008	DBLP DOI BibTeX RDF
13	Johannes Fischer 0001, Veli Mäkinen, Niko Välimäki	Space Efficient String Mining under Frequency Constraints.	ICDM	2008	DBLP DOI BibTeX RDF
13	Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
13	Xiaojian Liu, Xuejun Liu, Jianxin Li, Yanzhi Zhao, Zhixue Wang	Refinement of UML Interaction for Correct Embedded System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Stephan Falke 0001, Deepak Kapur	Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.	RTA	2008	DBLP DOI BibTeX RDF
13	Nuria Gómez Blas, Luis F. Mingo, Juan Castellanos	Networks of evolutionary processors with a self-organizing learning.	AICCSA	2008	DBLP DOI BibTeX RDF
13	Qing Wang 0002, Klaus-Dieter Schewe	Towards a Logic for Abstract MetaFinite State Machines.	FoIKS	2008	DBLP DOI BibTeX RDF
13	Oscar H. Ibarra	Computing with Cells: Membrane Systems.	ISPAN	2008	DBLP DOI BibTeX RDF	Membrane computing, P system, spiking neural P system
13	Mónica Cardona, M. Àngels Colomer, Mario J. Pérez-Jiménez, Delfí Sanuy, Antoni Margalida	Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
13	Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu	Defining and Executing P Systems with Structured Data in K.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
13	Oana Agrigoroaiei, Gabriel Ciobanu	Dual P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
13	Victor J. Martínez, Abraham Gutiérrez, Luis Fernando de Mingo López	Circuit FPGA for Active Rules Selection in a Transition P System Region.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
13	Ray Hill, Harold N. Ward	A geometric approach to classifying Griesmer codes.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	05B25, 94B65, AMS Classifications 94B27, 51E21
13	Perttu Salmela, Chung-Ching Shen, Shuvra S. Bhattacharyya, Jarmo Takala	Synthesis of DSP Architectures Using Libraries of Coarse-Grain Configurations.	SiPS	2007	DBLP DOI BibTeX RDF
13	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
13	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Specifying Parameterized Data Structures in Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
13	Linmin Yang, Zhe Dang, Oscar H. Ibarra	Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.	UC	2007	DBLP DOI BibTeX RDF
13	Shankara Narayanan Krishna	On the Computational Power of Flip-Flop Proteins on Membranes.	CiE	2007	DBLP DOI BibTeX RDF	Universality, Membrane Computing, Register Machines
13	José M. Sempere, Damián López	Characterizing Membrane Structures Through Multiset Tree Automata.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
13	Josep Aguilar-Saborit, Pedro Trancoso, Victor Muntés-Mulero, Josep Lluís Larriba-Pey	Dynamic count filters.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
13	Claudia Perlich, Foster J. Provost	Distribution-based aggregation for relational learning with identifier attributes.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	networks, aggregation, relational learning, identifiers
13	Shyh-Kwei Chen	An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree
13	Sven Hartmann, Sebastian Link	Horn clauses and functional dependencies in complex-value databases.	ADC	2006	DBLP BibTeX RDF	logic in databases, functional dependency, Horn clause, complex values, implication problem
13	Yasuhiro Suzuki, Hiroshi Tanaka	Modeling p53 Signaling Pathways by Using Multiset Processing.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
13	Artiom Alhazov, Dragos Sburlan	Static Sorting P Systems.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
13	T. S. Jayram, Phokion G. Kolaitis, Erik Vee	The containment problem for REAL conjunctive queries with inequalities.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities
13	Gheorghe Paun	Learning computing models from cells and tissues: P systems.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Deepak Kapur, Rupak Majumdar, Calogero G. Zarba	Interpolation for data structures.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	CEGAR, data structure verification, interpolation
13	Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001	On the Minimum Common Integer Partition Problem.	CIAC	2006	DBLP DOI BibTeX RDF
13	Dale Miller 0001	Collection analysis for Horn clause programs.	PPDP	2006	DBLP DOI BibTeX RDF	static analysis, linear logic, Horn clauses, proof search
13	Adam Koprowski	Certified Higher-Order Recursive Path Ordering.	RTA	2006	DBLP DOI BibTeX RDF
13	Victor J. Martínez, Fernando Arroyo, Abraham Gutiérrez, Luis Fernández	Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System.	SYNASC	2006	DBLP DOI BibTeX RDF
13	David P. Woodruff	Better Approximations for the Minimum Common Integer Partition Problem.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
13	Jetty Kleijn, Maciej Koutny	Synchrony and Asynchrony in Membrane Systems.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
13	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
13	Anna Pagh, Rasmus Pagh, S. Srinivasa Rao 0001	An optimal Bloom filter replacement.	SODA	2005	DBLP BibTeX RDF
13	Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001	Structuring labeled trees for optimal succinctness, and beyond.	FOCS	2005	DBLP DOI BibTeX RDF
13	Vladimir A. Bashkin, Irina A. Lomazova	Similarity of Generalized Resources in Petri Nets.	PaCT	2005	DBLP DOI BibTeX RDF
13	Kee Siong Ng	Generalization Behaviour of Alkemic Decision Trees.	ILP	2005	DBLP DOI BibTeX RDF
13	Dario Pescini, Daniela Besozzi, Giancarlo Mauri	Investigating Local Evolutions in Dynamical Probabilistic P Systems.	SYNASC	2005	DBLP DOI BibTeX RDF
13	Damián López, José M. Sempere	Editing Distances Between Membrane Structures.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
13	Taïeb Mellouli, Leena Suhl	Rotation Planning of Locomotive and Carriage Groups with Shared Capacities.	ATMOS	2004	DBLP DOI BibTeX RDF
13	Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan	Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
13	Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac	Higher-Order Chemical Programming Style.	UPP	2004	DBLP DOI BibTeX RDF
13	Qingping Tao, Stephen Donald Scott, N. V. Vinodchandran, Thomas Takeo Osugi	SVM-based generalized multiple-instance learning via approximate box counting.	ICML	2004	DBLP DOI BibTeX RDF
13	Andrés Cordón-Franco, Fernando Sancho-Caparrini	Approximating Non-discrete P Systems.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
13	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, abstract state machine
13	Prasanna Ganesan, Hector Garcia-Molina, Jennifer Widom	Exploiting hierarchical domain structure to compute similarity.	ACM Trans. Inf. Syst.	2003	DBLP DOI BibTeX RDF	data mining, collaborative filtering, Similarity measures, hierarchy
13	Miguel Delgado 0001, María J. Martín-Bautista, Daniel Sánchez 0001, María Amparo Vila Miranda	On a Characterization of Fuzzy Bags.	IFSA	2003	DBLP DOI BibTeX RDF
13	Denis Lugiez	Counting and Equality Constraints for Multitree Automata.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Kazunori Ueda, Norio Kato	The Language Model LMNtal.	ICLP	2003	DBLP DOI BibTeX RDF
13	Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata	Divisible Voting Scheme.	ISC	2003	DBLP DOI BibTeX RDF	Secure electronic voting and homomorphic encryption
13	Matthias Colin, Xavier Thirioux, Marc Pantel	Temporal Logic Based Static Analysis for Non-uniform Behaviours.	FMOODS	2003	DBLP DOI BibTeX RDF
13	Toby Walsh	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.	CP	2003	DBLP DOI BibTeX RDF
13	Andrew Eisenberg, Jim Melton	SQL/XML is Making Good Progress.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
13	Jean Fanchon, Rémi Morin	Regular Sets of Pomsets with Autoconcurrency.	CONCUR	2002	DBLP DOI BibTeX RDF
13	Rudolf Freund	Energy-Controlled P Systems.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
13	Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama 0001	Tissue P Systems with Contextual and Rewriting Rules.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
13	Carlos Martín-Vide, Juan Pazos, Gheorghe Paun, Alfonso Rodríguez-Patón	A New Class of Symbolic Abstract Neural Nets: Tissue P Systems.	COCOON	2002	DBLP DOI BibTeX RDF
13	Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz	A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.	IBERAMIA	2002	DBLP DOI BibTeX RDF
13	Carlos Martín-Vide, Gheorghe Paun	Computing with Membranes (P Systems): Universality Results.	MCU	2001	DBLP DOI BibTeX RDF
13	Denis Rinfret, Patrick E. O'Neil, Elizabeth J. O'Neil	Bit-Sliced Index Arithmetic.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
13	Max I. Kanovich	The Expressive Power of Horn Monadic Linear Logic.	CSL	2001	DBLP DOI BibTeX RDF
13	Oliver Haase, Andreas Henrich	A Hybrid Representation of Vague Collections for Distributed Object Management Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Distributed systems (H.2.4), distributed databases (C.2.4), query processing (H.2.4), query languages (H.2.3), inaccessibility, vagueness