12774 search results - page 2236 / 2555 » A Framework for Proof Systems |
189
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
We consider transfer of video frames over a time-varying wireless channel. When the channel is good, the transmitter can send frames at a higher rate than the receiver can consume...
175
Voted
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes our new algorithm for shot boundary detection and its evaluation. We adopt a 2-stage data fusion approach with SVM technique to decide whether a boundary exis...
149
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...
184
click to vote
IDEAS
2006
IEEE
16 years 26 days ago
2006
IEEE
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...
163
click to vote
IEEESCC
2006
IEEE
16 years 26 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...