1195 search results - page 28 / 239 » Modeling an Algebraic Stepper |
205
click to vote
ENTCS
2006
15 years 1 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
202
click to vote
ICDE
2003
IEEE
16 years 3 months ago
2003
IEEE
Despite the recent proliferation of work on semistructured data models, there has been little work to date on supporting uncertainty in these models. In this paper, we propose a m...
109
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
107
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
95
Voted
ITS
2000
Springer
15 years 5 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...