3575 search results - page 376 / 715 » Modeling Concurrency with Geometry |
198
click to vote
SMI
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper introduces paper-strip sculptures, a physical mesh data-structure used to represent 2manifold mesh surfaces for understanding topological and geometrical aspects of s...
202
click to vote
PAMI
2010
15 years 1 months ago
2010
This paper proposes a new method to synthesize and inpaint geometric textures. The texture model is composed of a geometric layer that drives the computation of a new grouplet tran...
178
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes an approach to mixed environment training of manual tasks requiring concurrent use of psychomotor and cognitive skills. To train concurrent use of both skill s...
187
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
225
Voted
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...