774 search results - page 130 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
75
Voted
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work we propose a novel rigid image registration approach to determine the position of high-resolution molecular structures in medium-resolution macromolecular complexes. ...
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
We consider an environment where distributed data sources continuously stream updates to a centralized processor that monitors continuous queries over the distributed data. Signif...
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—We propose a model-based channel access mechanism for cognitive radio-enabled secondary network, which opportunistically uses the channel of an unslotted primary network...
104
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—A joint network coding and superposition coding (JNSC) scheme is proposed for information exchange between more than two users in a wireless relaying network. In this paper we c...