1791 search results - page 193 / 359 » Two Types of Multiple-Conclusion Systems |
CHI
1998
ACM
14 years 1 months ago
1998
ACM
Collaboration in current real-time groupware systems is often an awkward and clumsy process. We hypothesize that better support for workspace awareness can improve the usability o...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
A Gaussian interference channel (IC) with a relay is considered. The relay is assumed to operate over an orthogonal band with respect to the underlying IC, and the overall system i...
ESA
2010
Springer
13 years 10 months ago
2010
Springer
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...