Search results for "multiset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
11	Tomoki Nakamigawa	One-dimensional Tilings Using Tiles with Two Gap Lengths.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	One-dimensional tiling, Disconnected tile, Tile with two gap lengths
11	O. A. Slavin	Recognition Algorithms for Structured Documents with Variable Content.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
11	Zsolt Kukorelly, Kenneth Zeger	Sufficient conditions for existence of binary fix-free codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
11	Michael Cebulla	Knowledge-based assessment of behavior in dynamic environments.	CIKM-KRAS	2005	DBLP DOI BibTeX RDF	context-awareness, knowledge management
11	Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo	Proof Pearl: A Formal Proof of Higman's Lemma in ACL2.	TPHOLs	2005	DBLP DOI BibTeX RDF
11	Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino	An Extension of the Burrows Wheeler Transform and Applications to Sequence Comparison and Data Compression.	CPM	2005	DBLP DOI BibTeX RDF
11	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad	Specifying Kerberos 5 cross-realm authentication.	WITS	2005	DBLP DOI BibTeX RDF
11	Robin Milner	The Spectra of Words.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
11	David Cohen-Steiner, Herbert Edelsbrunner, John Harer	Stability of persistence diagrams.	SCG	2005	DBLP DOI BibTeX RDF	stability, persistence, continuous functions, homology groups, combinatorial topology
11	Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino	A New Combinatorial Approach to Sequence Comparison.	ICTCS	2005	DBLP DOI BibTeX RDF
11	E. V. Krishnamurthy, Venu K. Murthy	Nature-Inspired Computations Using an Evolving Multi-set of Agents.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Dana Angluin, James Aspnes, Melody Chan, Michael J. Fischer, Hong Jiang, René Peralta 0001	Stably Computable Properties of Network Graphs.	DCOSS	2005	DBLP DOI BibTeX RDF
11	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
11	Paolo Bottoni, Stefano Levialdi	Resource-Based Models of Visual Interaction: Understanding Errors.	VL/HCC	2005	DBLP DOI BibTeX RDF
11	Claude-Guy Quimper, Toby Walsh	Beyond Finite Domains: The All Different and Global Cardinality Constraints.	CP	2005	DBLP DOI BibTeX RDF
11	Ahmed Bouajjani, Tayssir Touili	On Computing Reachability Sets of Process Rewrite Systems.	RTA	2005	DBLP DOI BibTeX RDF
11	Luis Fernández, Victor J. Martínez, Fernando Arroyo, Luis F. Mingo	A Hardware Circuit for Selecting Active Rules in Transition P Systems.	SYNASC	2005	DBLP DOI BibTeX RDF
11	Damián López, José M. Sempere	Editing Distances Between Membrane Structures.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
11	Joost Engelfriet, Tjalling Gelsema	A new natural structural congruence in the pi-calculus with replication.	Acta Informatica	2004	DBLP DOI BibTeX RDF
11	Christian Bey	Polynomial Lym Inequalities.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05D05
11	Sadaaki Miyamoto	Data Structure and Operations for Fuzzy Multisets.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
11	Giorgio Delzanno, Pierre Ganty	Automatic Verification of Time Sensitive Cryptographic Protocols.	TACAS	2004	DBLP DOI BibTeX RDF
11	Francisco Hernández Quiroz	Full Abstraction for Gamma.	ENC	2004	DBLP DOI BibTeX RDF
11	Eric Angel, Evripidis Bampis, Fanny Pascual	Traffic Grooming in a Passive Star WDM Network.	SIROCCO	2004	DBLP DOI BibTeX RDF
11	Jeremy E. Dawson, Rajeev Goré	A General Theorem on Termination of Rewriting.	CSL	2004	DBLP DOI BibTeX RDF	well-founded ordering, recursive path ordering, termination, rewriting
11	Mark Cieliebak, Stephan J. Eidenbenz	Measurement Errors Make the Partial Digest Problem NP-Hard.	LATIN	2004	DBLP DOI BibTeX RDF
11	Kazunori Ueda, Norio Kato	LMNtal: A Language Model with Links and Membranes.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
11	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
11	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
11	J. C. Lagarias 0001, Yang Wang 0020	Substitution Delone Sets.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
11	Richard M. Karp, Scott Shenker, Christos H. Papadimitriou	A simple algorithm for finding frequent elements in streams and bags.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	frequent elements, Data stream
11	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	A Formal Proof of Dickson's Lemma in ACL2.	LPAR	2003	DBLP DOI BibTeX RDF
11	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov	Verifying Confidentiality and Authentication in Kerberos 5.	ISSS	2003	DBLP DOI BibTeX RDF
11	Bas Luttik	A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory.	MFCS	2003	DBLP DOI BibTeX RDF
11	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Inserting Safe Memory Reuse Commands into ML-Like Programs.	SAS	2003	DBLP DOI BibTeX RDF
11	Richard J. Lipton, Evangelos Markakis, Aranyak Mehta	Playing large games using simple strategies.	EC	2003	DBLP DOI BibTeX RDF	nash equilibrium, probabilistic method
11	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	Bringing Order to Query Optimization.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
11	Midori Kobayashi, Gisaku Nakamura	Resolvable Coverings of 2-Paths by Cycles.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
11	Giovanna D'Agostino, Albert Visser	Finality regained: A coalgebraic study of Scott-sets and multisets.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
11	Temur Kutsia	Theorem Proving with Sequence Variables and Flexible Arity Symbols.	LPAR	2002	DBLP DOI BibTeX RDF
11	Iliano Cervesato	Data Access Specification and the Most Powerful Symbolic Attacker in MSR.	ISSS	2002	DBLP DOI BibTeX RDF
11	Koji Hasebe, Mitsuhiro Okada	A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic.	ISSS	2002	DBLP DOI BibTeX RDF
11	Luca Cardelli, Philippa Gardner, Giorgio Ghelli	A Spatial Logic for Querying Graphs.	ICALP	2002	DBLP DOI BibTeX RDF
11	James F. Peters, Zdzislaw Pawlak, Andrzej Skowron	A Rough Set Approach to Measuring Information Granules.	COMPSAC	2002	DBLP DOI BibTeX RDF	measure, rough sets, sensor, inclusion, information granule, indistinguishability, Closeness
11	Marco Bozzano, Giorgio Delzanno	Beyond Parameterized Verification.	TACAS	2002	DBLP DOI BibTeX RDF
11	Jean Fanchon, Rémi Morin	Regular Sets of Pomsets with Autoconcurrency.	CONCUR	2002	DBLP DOI BibTeX RDF
11	Rudolf Freund	Energy-Controlled P Systems.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
11	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
11	Rolf Nossum, Luciano Serafini	Multicontext Logic for Semigroups of Contexts.	AISC	2002	DBLP DOI BibTeX RDF	Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning
11	Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
11	Hideaki Hori, Shinichi Shimozono, Masayuki Takeda, Ayumi Shinohara	Fragmentary Pattern Matching: Complexity, Algorithms and Applications for Analyzing Classic Literary Works.	ISAAC	2001	DBLP DOI BibTeX RDF	fragmentary pattern, string resemblance, polynomial-time approximation, NP-completeness, string matching
11	Kenta Hashimoto, Toshinori Yamada, Shuichi Ueno	On-Line Multicasting in All-Optical Networks.	ISAAC	2001	DBLP DOI BibTeX RDF
11	Dieter Rautenbach, Bruce A. Reed	Approximately covering by cycles in planar graphs.	SODA	2001	DBLP BibTeX RDF
11	Sadaaki Miyamoto	Generalizations of Fuzzy Multisets for Including Infiniteness.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
11	Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce	Deductive Parsing of Visual Languages.	LACL	2001	DBLP DOI BibTeX RDF
11	Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce	On a Uniform Logical Framework for Diagrammatic Reasoning.	HCC	2001	DBLP DOI BibTeX RDF
11	Iliano Cervesato	Typed MSR: Syntax and Examples.	MMM-ACNS	2001	DBLP DOI BibTeX RDF
11	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
11	Kim Marriott, Bernd Meyer 0001	Non-standard Logics for Diagram Interpretation.	Diagrams	2000	DBLP DOI BibTeX RDF
11	Jean-Yves Marion, Jean-Yves Moyen	Efficient First Order Functional Program Interpreter with Time Bound Certifications.	LPAR	2000	DBLP DOI BibTeX RDF
11	Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe	Optimizing Protocol Rewrite Rules of CIL Specifications.	CSFW	2000	DBLP DOI BibTeX RDF
11	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
11	Kevin O'Gorman, Divyakant Agrawal, Amr El Abbadi	Posse: A Framework for Optimizing Incremental View Maintenance at Data Warehouse.	DaWaK	1999	DBLP DOI BibTeX RDF
11	Martin Weichert	Pipelining the Molecule Soup: A Plumber's Approach to Gamma.	COORDINATION	1999	DBLP DOI BibTeX RDF
11	Cecilia Mascolo	MobiS: A Specification Language for Mobile Systems.	COORDINATION	1999	DBLP DOI BibTeX RDF
11	Salam Majoul, Christian Percebois, Jean-Paul Bodeveix	A Concurrent Object-Based Model and its Use for Coordinating Java Components.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Java, object-oriented programming, coordination, implementation, event, rewriting, software bus
11	Ming-Yang Kao, Jie Wang 0002	Efficient Minimization of Numerical Summation Errors.	ICALP	1998	DBLP DOI BibTeX RDF
11	Michael J. Fischer	Estimating Parameters of Monotone Boolean Functions (Abstract).	COCOON	1998	DBLP DOI BibTeX RDF
11	Robert Tolksdorf	Coordinating Java Agents with Multiple Coordination Language on the Berlinda Platform.	WETICE	1997	DBLP DOI BibTeX RDF	Java agents, multiple coordination languages, Berlinda platform, multiple coordination environments, Jigsaw Web-server, software agents, coordination languages, interworking
11	Sanjay Jain 0001, Arun Sharma 0001	Team Learning of Recursive Languages.	PRICAI	1996	DBLP DOI BibTeX RDF
11	Martin Dietzfelbinger	Universal Hashing and k-Wise Independent Random Variables via Integer Arithmetic without Primes.	STACS	1996	DBLP DOI BibTeX RDF
11	Yeong-Taeg Kim, Gonzalo R. Arce, Nikolai A. Grabowski	Inverse halftoning using binary permutation filters.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
11	Stéphane Grumbach, Tova Milo	An Algebra for Pomsets.	ICDT	1995	DBLP DOI BibTeX RDF
11	Paolo Volpe	Concurrent Logic Programming as Uniform Linear Proofs.	ALP	1994	DBLP DOI BibTeX RDF	Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic
11	Andreas Weber, Tom Head	The Finest Homophonic Partition and Related Code Concepts.	MFCS	1994	DBLP DOI BibTeX RDF
11	David Sands 0001	A Compositional Semantics of Combining Forms for Gramma Programs.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
11	Uffe Engberg, Glynn Winskel	Completeness Results for Linear Logic on Petri Nets.	MFCS	1993	DBLP DOI BibTeX RDF
11	Uffe Engberg, Glynn Winskel	Linear Logic on Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri nets, Linear logic
11	Eric Violard, Guy-René Perrin	PEI: a Single Unifying Model to Design Parallel Programs.	PARLE	1993	DBLP DOI BibTeX RDF
11	Chris Hankin, Daniel Le Métayer, David Sands 0001	A Parallel Programming Style and Its Algebra of Programs.	PARLE	1993	DBLP DOI BibTeX RDF
11	Maria C. F. Ferreira, Hans Zantema	Total Termination of Term Rewriting.	RTA	1993	DBLP DOI BibTeX RDF
11	Dieter Hofbauer	Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding.	RTA	1991	DBLP DOI BibTeX RDF
11	Andreas Weiermann	Proving Termination for Term Rewriting Systems.	CSL	1991	DBLP DOI BibTeX RDF
11	Steven Skiena, Warren D. Smith, Paul Lemke	Reconstructing Sets from Interpoint Distances (Extended Abstract).	SCG	1990	DBLP DOI BibTeX RDF
11	Deepak Kapur, G. Sivakumar, Hantao Zhang 0001	A New Method for Proving Termination of AC-Rewrite Systems.	FSTTCS	1990	DBLP DOI BibTeX RDF
11	Robert Holte, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel	Pinwheel Scheduling With Tow Distinct Numbers.	MFCS	1989	DBLP DOI BibTeX RDF
11	Dana May Latch, Ron Sigal	A Local Termination Property for Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
11	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
11	Tony W. Lai, Derick Wood	Implicit Selection.	SWAT	1988	DBLP DOI BibTeX RDF
11	Leo Bachmair, David A. Plaisted	Associative Path Orderings.	RTA	1985	DBLP DOI BibTeX RDF
11	Umeshwar Dayal, Nathan Goodman, Randy H. Katz	An Extended Relational Algebra with Control over Duplicate Elimination.	PODS	1982	DBLP DOI BibTeX RDF
11	David P. Dobkin, J. Ian Munro	Time and Space Bounds for Selection Problems.	ICALP	1978	DBLP DOI BibTeX RDF