4325 search results - page 241 / 865 » Incremental computation with names |
138
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all no...
275
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce, analyze and quantitatively compare a number of surface simplification methods for point-sampled geometry. We have implemented incremental and hierarchi...
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
209
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
175
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...