2623 search results - page 410 / 525 » tools 2010 |
131
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
156
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
135
Voted
PDPTA
2010
15 years 1 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
144
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
During the last few years there has been an increasing number of people-centric sensing projects, which combine location information with other sensors available on mobile devices,...
128
Voted
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of multi-cell downlink beamforming with N cells and K terminals per cell. Cooperation among base stations (BSs) has been found to increase the system throug...