350 search results - page 3 / 70 » From control effects to typed continuation passing |
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
In this paper we propose a distributed message-passing algorithm for inference in large scale graphical models. Our method can handle large problems efficiently by distributing a...
CSL
2009
Springer
14 years 4 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
WICON
2008
13 years 7 months ago
2008
In recent years, wireless sensor networking has shown great promise in applications ranging from industrial control, environmental monitoring and inventory tracking. Given the res...
BMCBI
2008
13 years 5 months ago
2008
Background: Probability based statistical learning methods such as mutual information and Bayesian networks have emerged as a major category of tools for reverse engineering mecha...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...