494 search results - page 38 / 99 » A Framework for Synchronous Tele-Cooperation |
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ICMCS
1995
IEEE
15 years 1 months ago
1995
IEEE
Synchronizing di erent data streams from multiple sources simultaneously at a receiver is one of the basic problems involved in multimedia distributed systems. This requirement st...
MVA
2007
14 years 11 months ago
2007
We introduce an algorithm for synchronizing two video sequences recorded by stationary cameras. It extends common RANSAC-based approaches that recover either a homography or a fun...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
IJVR
2006
14 years 10 months ago
2006
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...