186 search results - page 21 / 38 » Tractability of Theory Patching |
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Bayesian recursive inference of phase in additive Gaussian noise environments is studied. A tractable conjugate system is established using a von Mises distribution. Its shaping p...
CACM
1998
14 years 10 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
CRIWG
2003
15 years 1 days ago
2003
Abstract. In this paper we present a theory-based approach to designing tailorable groupware for the healthcare domain. Both literature and empirical data show the need, and diffic...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We consider the task of topology discovery of sparse random graphs using end-to-end random measurements (e.g., delay) between a subset of nodes, referred to as the participants. T...
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...