10910 search results - page 59 / 2182 » Input modeling using a computer algebra system |
237
Voted
ENTCS
2006
15 years 3 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
145
Voted
SIGMETRICS
2000
ACM
15 years 8 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...
121
Voted
DAS
2008
Springer
15 years 5 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...
120
Voted
CHI
2009
ACM
16 years 4 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...
142
Voted
IEEEPACT
2003
IEEE
15 years 9 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...