1990 search results - page 232 / 398 » services 2010 |
144
click to vote
TIT
2010
14 years 11 months ago
2010
In this paper, a communication system including n interfering additive white Gaussian noise (AWGN) links is considered. Each transmitter uses a Gaussian codebook and each receiver...
124
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
In this article we propose the concept of relevance criteria profiles, which provide a global view of user behaviour in judging the relevance of retrieved information. We further p...
124
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
140
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper describes a sensor for autonomous surveillance capable of continuously monitoring the environment, while acquiring detailed images of specific areas. This is achiev...
110
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...