2637 search results - page 250 / 528 » Tool Supported Specification and Simulation of Distributed S... |
140
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
We consider the distributed computation of a function of random sources with minimal communication. Specifically, given two discrete memoryless sources, X and Y , a receiver wishe...
188
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Workspace awareness techniques have been proposed to enhance the effectiveness of software configuration management systems in coordinating parallel work. These techniques share i...
173
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
154
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
197
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...