3521 search results - page 451 / 705 » Algorithmic Control in Concurrent Computations |
130
click to vote
VCIP
2003
15 years 5 months ago
2003
In this paper, we present a simple method to almost quadruple the spatial resolution of aliased images. From a set of four low resolution, undersampled and shifted images, a new i...
114
click to vote
CL
2004
Springer
15 years 4 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
129
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The recent upsurge of research toward compressive sampling and parsimonious signal representations hinges on signals being sparse, either naturally, or, after projecting them on a...
127
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
134
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...