492 search results - page 23 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
ICIP
2007
IEEE
16 years 11 days ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
The iStuff toolkit of physical devices, and the flexible software infrastructure to support it, were designed to simplify the exploration of novel interaction techniques in the po...
DNA
2009
Springer
15 years 5 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
108
click to vote
COCO
1993
Springer
15 years 2 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
CIE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...