4075 search results - page 313 / 815 » Modeling Distributed Algorithm Using B |
159
Voted
JSS
2008
15 years 6 months ago
2008
In this paper, we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it inclu...
183
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
198
click to vote
INFSOF
2000
15 years 6 months ago
2000
Distributed object architectures and Java are important for building modern, scalable, web-enabled applications. This paper is focused on qualitative and quantitative comparison o...
188
click to vote
VRST
2003
ACM
15 years 12 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
181
click to vote
ISMIR
2005
Springer
16 years 6 days ago
2005
Springer
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...