12774 search results - page 2237 / 2555 » A Framework for Proof Systems |
176
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
180
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...
136
click to vote
ISCAS
2006
IEEE
16 years 26 days ago
2006
IEEE
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...
181
click to vote
ISMAR
2006
IEEE
16 years 25 days ago
2006
IEEE
In this article we present an interaction tool, based on the Magic Lenses technique, that allows a 3D scene to be affected dynamically given contextual information, for example, t...
162
click to vote
ISORC
2006
IEEE
16 years 25 days ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...