10910 search results - page 59 / 2182 » Input modeling using a computer algebra system |
164
click to vote
ENTCS
2006
14 years 9 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
DAS
2008
Springer
14 years 11 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present a system that simulates urgency-augmented phone calls on mobile phones. Different scenarios and interaction techniques are discussed. We report a user stu...
IEEEPACT
2003
IEEE
15 years 3 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...