5550 search results - page 208 / 1110 » Different Approaches to Proof Systems |
176
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Spatial alarms are considered as one of the basic capabilities in future mobile computing systems for enabling personalization of location-based services. In this paper, we propos...
154
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Sound source localisation cues are severely degraded when multiple acoustic sources are active in the presence of reverberation. We present a binaural system for localising simult...
198
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
163
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Programming distributed-memory machines requires careful placement of datato balance the computationalload among the nodes and minimize excess data movement between the nodes. Mos...
162
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...