Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
365
The importance of the left merge operator in process algebras
- Proceedings 17 th ICALP
"... Abstract. In this paper, we examine quational a~xiomatisations for PA, the process algebra of Bergstra and Klop, which is a simple subset of their full language ACP. The language PA has two combinators for concurrent execution: theusual full merge operator ~ and the more esoteric left merge operator ..."
Abstract
-
Cited by 33 (0 self)
- Add to MetaCart
Abstract. In this paper, we examine quational a~xiomatisations for PA, the process algebra of Bergstra and Klop, which is a simple subset of their full language ACP. The language PA has two combinators for concurrent execution: theusual full merge operator ~ and the more esoteric left merge
A finite equational base for CCS with left merge and communication merge
- Proceedings of ICALP’06 (part II), volume 4052 of Lecture Notes in Computer Science
, 2006
"... Abstract. Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and ω-complete set of valid equations) for the fragment of CCS without recursion, restriction and relabelling. Our equational base is finite if the set of actions is finite. 1 ..."
Abstract
-
Cited by 14 (9 self)
- Add to MetaCart
Abstract. Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and ω-complete set of valid equations) for the fragment of CCS without recursion, restriction and relabelling. Our equational base is finite if the set of actions is finite. 1
Merging...
"... Ecopreneurs are entrepreneurs whose business efforts are not only driven by profit, but also by a concern for the environment. Ecopreneurship, also known as environmental entrepreneurship and eco-capitalism, is becoming more widespread as a new market-based approach to identifying opportunities for ..."
Abstract
- Add to MetaCart
local fishermen catch in the Yellowstone River in return for the paddlefish eggs the fishermen had usually discarded and left to rot. Half of the proceeds from
MERGE SORT
"... roughly equal size. If subprogram can be solved independently, there is a possibility of significant speed up by parallel computing. The DC paradigm has been used widely to design a number of efficient algorithms for broad scientific and engineering applications. Examples include a hierarchy of part ..."
Abstract
- Add to MetaCart
-consistent Kohn-Sham potential in quantum mechanical (QM) simulations in the framework of the density functional theory (DFT). 2 Figure. Schematic of a divide-and-conquer (DC) particle simulation algorithm. (Left) The physical space is subdivided into spatially localized cells, with local particles constituting
CCS with Hennessy’s merge has no finite equational axiomatization
- Theoretical Computer Science
, 2005
"... This paper confirms a conjecture of Bergstra and Klop’s from 1984 by establishing that the process algebra obtained by adding an auxiliary operator proposed by Hennessy in 1981 to the recursion free fragment of Milner’s Calculus of Communicationg Systems is not finitely based modulo bisimulation equ ..."
Abstract
-
Cited by 20 (17 self)
- Add to MetaCart
equivalence. Thus Hennessy’s merge cannot replace the left merge and communication merge operators proposed by Bergstra and Klop, at least if a finite axiomatization of parallel composition is desired.
Merge Right: An Approach to Constituency Conflicts
- Proceedings of WCCFL 15, ed. by Brian Agbayani and Sze-Wing Tang, CSLI Publications
, 1996
"... This paper argues that well-known conflicts between the results of different syntactic constituency tests do not arise if it is assumed that phrase markers are incrementally built from left-to-right, as dictated by the condition MERGE RIGHT. I show that results which have been taken to ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
This paper argues that well-known conflicts between the results of different syntactic constituency tests do not arise if it is assumed that phrase markers are incrementally built from left-to-right, as dictated by the condition MERGE RIGHT. I show that results which have been taken to
Discussion Papers Finding Your Right (or Left) Partner to Merge
, 2015
"... Opinions expressed in this paper are those of the author(s) and do not necessarily reflect views of the institute. ..."
Abstract
- Add to MetaCart
Opinions expressed in this paper are those of the author(s) and do not necessarily reflect views of the institute.
Video completion using tracking and fragment merging
- VISUAL COMPUT (2005) 21: 601–610
, 2005
"... Video completion is the problem of automatically filling space–time holes in video sequences left by the removal of unwanted objects in a scene. We solve it using texture synthesis, filling a hole inwards using three steps iteratively: we select the most promising target pixel at the edge of the hol ..."
Abstract
-
Cited by 21 (1 self)
- Add to MetaCart
Video completion is the problem of automatically filling space–time holes in video sequences left by the removal of unwanted objects in a scene. We solve it using texture synthesis, filling a hole inwards using three steps iteratively: we select the most promising target pixel at the edge
MeshGit: Diffing and Merging Meshes for Polygonal Modeling
"... original derivative derivative a merged original derivative b merged with subdivision Figure 1: Examples of diffing and merging polygonal meshes done automatically by MeshGit. Left: We visualize changes between two snapshots of the creation of a creature mesh as a two-way diff. The derivative mesh c ..."
Abstract
- Add to MetaCart
original derivative derivative a merged original derivative b merged with subdivision Figure 1: Examples of diffing and merging polygonal meshes done automatically by MeshGit. Left: We visualize changes between two snapshots of the creation of a creature mesh as a two-way diff. The derivative mesh
Results 1 - 10
of
365
