492 search results - page 33 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
120
click to vote
EXPERT
2006
15 years 2 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
99
Voted
WSC
2004
15 years 3 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
101
click to vote
TOMS
2008
15 years 1 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
116
click to vote
MM
1995
ACM
15 years 5 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
159
click to vote
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...