717 search results - page 106 / 144 » Kill-safe synchronization abstractions |
172
click to vote
TACAS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
149
click to vote
GLOBECOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— This paper deals with the problem of blind multiuser detection in multirate direct-sequence code division multiple access (DS-CDMA). Direct-Sequence Spread Spectrum (DS...
128
click to vote
GLOBECOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
152
click to vote
PDP
2006
IEEE
15 years 12 months ago
2006
IEEE
Highly interactive collaborative applications need to offer each user a consistent view of the interactions represented by the streams exchanged between dispersed groups of users....
153
click to vote
ACCV
2006
Springer
15 years 12 months ago
2006
Springer
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...