33356 search results - page 136 / 6672 » Models of Continual Computation |
136
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
144
Voted
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
128
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...
166
click to vote
UAI
2001
15 years 6 months ago
2001
In this paper we present a method of computing the posterior probability of conditional independence of two or more continuous variables from data, examined at several resolutions...
117
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...