1204 search results - page 58 / 241 » Hybrid Probabilistic Programs |
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
CSCLP
2008
Springer
13 years 11 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
TMI
2008
13 years 9 months ago
2008
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
DAGM
2011
Springer
12 years 9 months ago
2011
Springer
Hybrid registration schemes are a powerful alternative to fully automatic registration algorithms. Current methods for hybrid registration either include the landmark information a...
MOBIHOC
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we investigate the use of limited infrastructure, in the form of wires, for improving the energy efficiency of a wireless sensor network. We call such a sensor netw...