Sciweavers

2019 search results - page 206 / 404
» Programming with Shared Data Abstractions
Sort
View
145
Voted
IROS
2007
IEEE
142views Robotics» more  IROS 2007»
15 years 9 months ago
Decentralized SLAM for pedestrians without direct communication
Abstract— We consider the problem of Decentralized Simultaneous Localization And Mapping (DSLAM) for pedestrians in the context of Urban Search And Rescue (USAR). In this context...
Alexander Kleiner, Dali Sun
DBKDA
2010
IEEE
137views Database» more  DBKDA 2010»
15 years 8 months ago
Optimistic Synchronization of Cooperative XML Authoring Using Tunable Transaction Boundaries
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
Francis Gropengießer, Kai-Uwe Sattler
BIRTHDAY
2007
Springer
15 years 7 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
JACM
2010
208views more  JACM 2010»
15 years 1 months ago
The nested chinese restaurant process and bayesian nonparametric inference of topic hierarchies
clustering of documents according to sharing of topics at multiple levels of abstraction. Given a corpus of documents, a posterior inference algorithm finds an approximation to a ...
David M. Blei, Thomas L. Griffiths, Michael I. Jor...
PLDI
2011
ACM
14 years 6 months ago
The tao of parallelism in algorithms
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Ma...