2870 search results - page 367 / 574 » Synchronization of multi-agent systems |
159
click to vote
CONCUR
2012
Springer
13 years 7 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
139
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a hardware-accelerated method for video-based rendering relying on an approximate model of scene geometry. Our goal is to render high-quality views of the scene from ar...
229
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
137
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
In this work, we create an audio-video link via an interactive sculpture to facilitate casual, sociable communication between two remote spaces. This communication installation wa...
221
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
aAQUA is an online multilingual, multimedia Agricultural portal for disseminating information from and to rural communities. It answers farmers' queries based on the location...