Sciweavers

4074 search results - page 674 / 815
» Abstract Graph Transformation
Sort
View
CONCUR
1994
Springer
15 years 6 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
108
Voted
AAIM
2010
Springer
165views Algorithms» more  AAIM 2010»
15 years 5 months ago
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction
Abstract. This paper presents an iterative, highly parallelizable approach to find good tours for very large instances of the Euclidian version of the well-known Traveling Salesma...
Christian Ernst, Changxing Dong, Gerold Jäger...
116
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
136
Voted
CAIP
2009
Springer
248views Image Analysis» more  CAIP 2009»
15 years 5 months ago
Rapid Inference of Object Rigidity and Reflectance Using Optic Flow
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
Di Zang, Katja Doerschner, Paul R. Schrater
INCDM
2010
Springer
146views Data Mining» more  INCDM 2010»
15 years 5 months ago
Learning from Humanoid Cartoon Designs
Abstract. Character design is a key ingredient to the success of any comicbook, graphic novel, or animated feature. Artists typically use shape, size and proportion as the first de...
Md. Tanvirul Islam, Kaiser Md. Nahiduzzaman, Why Y...