967 search results - page 114 / 194 » Probabilistic Predicative Programming |
114
Voted
TCS
2008
15 years 2 months ago
2008
Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula . We then consider the classification p...
136
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Pairwise stochastic context-free grammars (Pair SCFGs) are powerful tools for evolutionary analysis of RNA, including simultaneous RNA sequence alignment and secondary...
143
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
123
Voted
MOBIHOC
2003
ACM
16 years 2 months ago
2003
ACM
The development of lightweight sensing and communication protocols is a key requirement for designing resource constrained sensor networks. This paper introduces a set of efficien...
124
Voted
POPL
2010
ACM
16 years 14 hour ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...