492 search results - page 62 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
IJIIDS
2010
14 years 5 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
81
Voted
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
89
Voted
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
88
Voted
DAC
2007
ACM
15 years 12 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
123
Voted
CORR
2011
Springer
14 years 2 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...