5608 search results - page 208 / 1122 » On the Theory of Matchgate Computations |
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
128
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
111
click to vote
PODC
2009
ACM
15 years 6 months ago
2009
ACM
We present DRR-gossip, an energy-efficient and robust aggregate computation algorithm in wireless sensor networks. We prove that the DRR-gossip algorithm requires O(n) messages a...
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Many believe that the most important result to come out of the last ten years of neural network research is the significant change in perspective in the neuroscience community tow...
134
click to vote
ECCV
1994
Springer
15 years 6 months ago
1994
Springer
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...