Sciweavers

2115 search results - page 112 / 423
» Semantic structure from motion
Sort
View
CONCUR
2005
Springer
15 years 12 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
16 years 6 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ISBI
2006
IEEE
16 years 7 months ago
Tracking the motion of the outer tips of microtubules
Microtubules play numerous critical roles in a cell such as providing structural tracks for the anchoring and movement of vesicles and chromosomes. Also, the assembly of microtubu...
Stathis Hadjidemetriou, Derek Toomre, James S. Dun...
CG
2006
Springer
15 years 6 months ago
Kinetic sweep and prune for multi-body continuous motion
We propose an acceleration scheme for real-time many-body dynamic collision detection. We kinetize the sweep and prune method for many-body collision pruning, extending its applic...
Daniel S. Coming, Oliver G. Staadt
NDSS
2005
IEEE
15 years 12 months ago
The Internet Motion Sensor - A Distributed Blackhole Monitoring System
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
Michael Bailey, Evan Cooke, Farnam Jahanian, Jose ...