7167 search results - page 163 / 1434 » A Technique for Invariant Generation |
200
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
194
Voted
SIGKDD
2010
15 years 5 months ago
2010
Social tagging on online portals has become a trend now. It has emerged as one of the best ways of associating metadata with web objects. With the increase in the kinds of web obj...
192
Voted
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—A system that uses adaptive beamforming techniques for mobile Digital Video Broadcasting Satellite (DVB-S) reception is proposed in this paper. The purpose is to enable ...
194
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
205
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we investigate the problem of uneven energy consumptions in a large class of many-to-one sensor networks. In a many-to-one sensor network, all sensor nodes generate ...