Search results for "Multiset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Dieter Hofbauer	Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
17	Trevor W. Pearce, David Alex Lamb	The Property Vector Specification of a Multiset Iterator.	ICSE	1992	DBLP DOI BibTeX RDF
17	Bing-Chao Huang, Michael A. Langston	Stable Set and Multiset Operations in Optimal Time and Space.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
17	Wayne D. Blizard	Multiset Theory.	Notre Dame J. Formal Log.	1989	DBLP DOI BibTeX RDF
17	Ursula Martin	A Geometrical Approach to Multiset Orderings.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
17	Antonio Restivo	A note on multiset decipherable codes.	IEEE Trans. Inf. Theory	1989	DBLP DOI BibTeX RDF
17	Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer	A parallel machine for multiset transformation and its programming style.	Future Gener. Comput. Syst.	1988	DBLP DOI BibTeX RDF
17	G. F. Clements	On multiset k-families.	Discret. Math.	1988	DBLP DOI BibTeX RDF
17	Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer	Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil.	it Inf. Technol.	1988	DBLP DOI BibTeX RDF
17	G. F. Clements	Multiset antichains having minimal downsets.	J. Comb. Theory, Ser. A	1988	DBLP DOI BibTeX RDF
17	Ursula Martin	Extension Functions for Multiset Orderings.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
17	G. P. Monro	The Concept of Multiset.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
17	G. F. Clements	An extremal problem for antichains of subsets of a multiset.	Discret. Math.	1987	DBLP DOI BibTeX RDF
17	Abraham Lempel	On multiset decipherable codes.	IEEE Trans. Inf. Theory	1986	DBLP DOI BibTeX RDF
17	G. F. Clements	Antichains in the set of subsets of a multiset.	Discret. Math.	1985	DBLP DOI BibTeX RDF
17	G. F. Clements	Antichains in the set of subsets of a multiset.	Discret. Math.	1984	DBLP DOI BibTeX RDF
17	Jean-Pierre Jouannaud, Pierre Lescanne	On Multiset Orderings.	Inf. Process. Lett.	1982	DBLP DOI BibTeX RDF
17	Kohei Noshita	Predicting the Number of Distinct Elements in a Multiset.	SIAM J. Comput.	1982	DBLP DOI BibTeX RDF
17	Nachum Dershowitz, Zohar Manna	Proving Termination with Multiset Orderings.	Commun. ACM	1979	DBLP DOI BibTeX RDF
17	Peter H. Sellers	An Algorithm for Compositions of a Multiset.	J. Comb. Theory, Ser. A	1978	DBLP DOI BibTeX RDF
17	G. F. Clements	The Minimal Number of Basic Elements in a Multiset Antichain.	J. Comb. Theory, Ser. A	1978	DBLP DOI BibTeX RDF
11	Edith Cohen, Haim Kaplan	Get the most out of your sample: optimal unbiased estimators using partial information.	PODS	2011	DBLP DOI BibTeX RDF
11	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
11	Charles E. Leiserson, Tao B. Schardl	A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers).	SPAA	2010	DBLP DOI BibTeX RDF	hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
11	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
11	Eike Best, Philippe Darondeau	A decomposition theorem for finite persistent transition systems.	Acta Informatica	2009	DBLP DOI BibTeX RDF
11	Antoon Bronselaer, Guy De Tré	A Possibilistic Approach to String Comparison.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
11	Gunnar E. Carlsson, Afra Zomorodian	The Theory of Multidimensional Persistence.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Persistence, Computational topology, Persistent homology, Multidimensional analysis
11	Sugata Gangopadhyay, Deepmala Sharma, Sumanta Sarkar, Subhamoy Maitra	On affine (non)equivalence of Boolean functions.	Computing	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 94A60, 06E30, 94C10
11	Lee C. Klingler, Spyros S. Magliveras, Fred Richman, Michal Sramka	Discrete logarithms for finite groups.	Computing	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 94A60, 20G40
11	Fernando Rosa-Velardo, David de Frutos-Escrig	Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.	Petri Nets	2009	DBLP DOI BibTeX RDF
11	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
11	Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa	Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
11	Kristoffer Arnsfelt Hansen, Michal Koucký 0001, Peter Bro Miltersen	Winning Concurrent Reachability Games Requires Doubly-Exponential Patience.	LICS	2009	DBLP DOI BibTeX RDF
11	Riccardo Dondi, Guillaume Fertin, Stéphane Vialette	Maximum Motif Problem in Vertex-Colored Graphs.	CPM	2009	DBLP DOI BibTeX RDF
11	Yulia Kempner, Vadim E. Levit	Recognition of Antimatroidal Point Sets.	Graph Theory, Computational Intelligence and Thought	2009	DBLP DOI BibTeX RDF
11	Jon Sneyers	Optimizing Compilation and Computational Complexity of Constraint Handling Rules.	ICLP	2009	DBLP DOI BibTeX RDF
11	James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran	Merging Logic Programs under Answer Set Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	strong equivalence, answer set programming, belief merging
11	Ke Yi 0001, Qin Zhang 0001	Optimal tracking of distributed heavy hitters and quantiles.	PODS	2009	DBLP DOI BibTeX RDF	distributed tracking, quantile, heavy hitter
11	Georg Moser, Andreas Schnabl	The Derivational Complexity Induced by the Dependency Pair Method.	RTA	2009	DBLP DOI BibTeX RDF
11	Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.	RP	2009	DBLP DOI BibTeX RDF	uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking
11	Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret	Approximating the true evolutionary distance between two genomes.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	pairwise distances, whole-genome data, Evolution, inversions, duplications
11	Petr Jancar, Jirí Srba	Undecidability of bisimilarity by defender's forcing.	J. ACM	2008	DBLP DOI BibTeX RDF	process algebra, undecidability, pushdown automata, Bisimilarity
11	Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino	A New Combinatorial Approach to Sequence Comparison.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Sequence comparison, Burrows-Wheeler transform
11	Jung-Hsien Chiang, Tsung-Lu Michael Lee	In Silico Prediction of Human Protein Interactions Using Fuzzy-SVM Mixture Models and Its Application to Cancer Research.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
11	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
11	Fabio Gadducci	A Term-Graph Syntax for Algebras over Multisets.	WADT	2008	DBLP DOI BibTeX RDF
11	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
11	Graham Cormode, S. Muthukrishnan 0001, Ke Yi 0001	Algorithms for distributed functional monitoring.	SODA	2008	DBLP BibTeX RDF
11	Nadja Betzler, Michael R. Fellows, Christian Komusiewicz, Rolf Niedermeier	Parameterized Algorithms and Hardness Results for Some Graph Motif Problems.	CPM	2008	DBLP DOI BibTeX RDF
11	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
11	Vincent Conitzer	Anonymity-Proof Voting Rules.	WINE	2008	DBLP DOI BibTeX RDF
11	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
11	Maria Chiara Caschera, Fernando Ferri, Patrizia Grifoni	Ambiguity detection in multimodal systems.	AVI	2008	DBLP DOI BibTeX RDF	grammar-based language, interpretation of multimodal input, multimodal ambiguity, multimodal interfaces
11	Martin Avanzini, Georg Moser	Complexity Analysis by Rewriting.	FLOPS	2008	DBLP DOI BibTeX RDF
11	Chandrashekhar Nagarajan, Yogeshwer Sharma, David P. Williamson	Approximation Algorithms for Prize-Collecting Network Design Problems with General Connectivity Requirements.	WAOA	2008	DBLP DOI BibTeX RDF
11	Lilong Han, Qingtang Liu, Zongkai Yang	Dynamic Expression of Digital Rights by Rewriting License.	CSSE (3)	2008	DBLP DOI BibTeX RDF
11	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Static and dynamic typing for the termination of mobile processes.	IFIP TCS	2008	DBLP DOI BibTeX RDF
11	Henning Köhler, Sebastian Link	Lossless Decompositions in Complex-Valued Databases.	FoIKS	2008	DBLP DOI BibTeX RDF
11	Ahmed Metwally 0001, Divyakant Agrawal, Amr El Abbadi	Why go logarithmic if we can go linear?: Towards effective distinct counting of search traffic.	EDBT	2008	DBLP DOI BibTeX RDF
11	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	On the Qualitative Analysis of Conformon P Systems.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
11	Artiom Alhazov, Liudmila Burtseva, Svetlana Cojocaru, Yurii Rogozhin	Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
11	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
11	Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert	The computational power of population protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF
11	David Cohen-Steiner, Herbert Edelsbrunner, John Harer	Stability of Persistence Diagrams.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
11	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
11	José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina	A Formally Verified Prover for the ALC Description Logic.	TPHOLs	2007	DBLP DOI BibTeX RDF
11	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
11	Evelyne Contejean	Modeling Permutations in Coqfor Coccinelle.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
11	Gunnar E. Carlsson, Afra Zomorodian	The theory of multidimensional persistence.	SCG	2007	DBLP DOI BibTeX RDF	computational topology, persistent homology, multidimensional analysis
11	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Concurrent Calculus with Atomic Transactions.	ESOP	2007	DBLP DOI BibTeX RDF
11	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen	Aggregates in Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
11	Peter Van Weert	Extension and Implementation of CHR.	ICLP	2007	DBLP DOI BibTeX RDF
11	Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu	Rewriting Systems with Data.	FCT	2007	DBLP DOI BibTeX RDF
11	Achour Mostéfaoui	Towards a Computing Model for Open Distributed Systems.	PaCT	2007	DBLP DOI BibTeX RDF	Bag data structure, Workqueue, Fault-Tolerance, Parallel programming, Synchronization, Distributed programming, Open system, Chemical reaction
11	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
11	Giancarlo Mauri	Membrane Systems and Their Application to Systems Biology.	CiE	2007	DBLP DOI BibTeX RDF
11	Xianli Jin, Huadong Ma, Zonghua Gu 0001	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
11	Alex Biryukov, Dmitry Khovratovich	Two New Techniques of Side-Channel Cryptanalysis.	CHES	2007	DBLP DOI BibTeX RDF
11	Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl	Proving Termination Using Recursive Path Orders and SAT Solving.	FroCoS	2007	DBLP DOI BibTeX RDF
11	Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch	Towards an Automatic Analysis of Web Service Security.	FroCoS	2007	DBLP DOI BibTeX RDF	combination of decision procedures, Security, Web services, verification, cryptographic protocols, rewriting, equational theories
11	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Automated Verification of Shape, Size and Bag Properties.	ICECCS	2007	DBLP DOI BibTeX RDF
11	Xian Xu 0001	P Systems and Finite Automata.	CISIS	2007	DBLP DOI BibTeX RDF
11	Murray R. Bremner, Michael J. Hancock, Yunfeng Piao	Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.	ISSAC	2007	DBLP DOI BibTeX RDF	bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
11	Gabriel Ciobanu, Dorel Lucanu	Events, Causality, and Concurrency in Membrane Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
11	Yun S. Song, Rune B. Lyngsø, Jotun Hein	Counting All Possible Ancestral Configurations of Sample Sequences in Population Genetics.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Ancestral configurations, enumeration, recombination, contingency table, coalescent
11	Jian Pei, Haixun Wang, Jian Liu, Ke Wang 0001, Jianyong Wang 0001, Philip S. Yu	Discovering Frequent Closed Partial Orders from Strings.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, partial orders, Frequent patterns, strings, closed patterns
11	Sudipto Guha, Andrew McGregor 0001, Suresh Venkatasubramanian	Streaming and sublinear approximation of entropy and information distances.	SODA	2006	DBLP DOI BibTeX RDF
11	Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno	LMNtal as a Unifying Declarative Language: Live Demonstration.	ICLP	2006	DBLP DOI BibTeX RDF
11	Olivier Michel, Florent Jacquemard	An Analysis of a Public Key Protocol with Membranes.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
11	Gheorghe Paun	Introduction to Membrane Computing.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
11	Artiom Alhazov, Dragos Sburlan	Static Sorting P Systems.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
11	Martin Grohe, André Hernich, Nicole Schweikardt	Randomized computations on large data sets: tight lower bounds.	PODS	2006	DBLP DOI BibTeX RDF	data streams/real-time data, query processing/query optimization, XML, complexity, semi-structured data
11	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	When Birds Die: Making Population Protocols Fault-Tolerant.	DCOSS	2006	DBLP DOI BibTeX RDF
11	Dale Miller 0001	Collection analysis for Horn clause programs.	PPDP	2006	DBLP DOI BibTeX RDF	static analysis, linear logic, Horn clauses, proof search
11	Adam Koprowski	Certified Higher-Order Recursive Path Ordering.	RTA	2006	DBLP DOI BibTeX RDF
11	Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu	Number Encodings and Arithmetics over Multisets.	SYNASC	2006	DBLP DOI BibTeX RDF
11	David B. Chandler, Maw-Shang Chang, Ton Kloks, Jiping Liu, Sheng-Lung Peng	Recognition of Probe Cographs and Partitioned Probe Distance Hereditary Graphs.	AAIM	2006	DBLP DOI BibTeX RDF
11	Francesco Bernardini, Rudolf Freund	Tissue P Systems with Communication Modes.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
11	José M. Sempere, Damián López	Identifying P Rules from Membrane Structures with an Error-Correcting Approach.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF