1902 search results - page 77 / 381 » Differential Dynamic Logics |
141
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
Diffusion-type algorithms have been integrated in recent years successfully into the toolbox of image processing. We introduce a new more flexible and powerful family of parabolic...
156
click to vote
GLOBECOM
2008
IEEE
15 years 12 months ago
2008
IEEE
—In this paper, we present a distributed algorithm to dynamically allocate the available resources of a service-oriented network to delay sensitive network services. We use a uti...
152
click to vote
VRML
1999
ACM
15 years 9 months ago
1999
ACM
One application of VRML is visualisation of scientific data. Using VRML results of simulations and other scientific endeavours can be published on the web with all the advantage...
177
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...