Sciweavers

4041 search results - page 181 / 809
» time 2009
Sort
View
ERSHOV
2009
Springer
16 years 1 months ago
A Complete Invariant Generation Approach for P-solvable Loops
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
Laura Kovács
ACIVS
2009
Springer
15 years 11 months ago
A New Feasible Approach to Multi-dimensional Scale Saliency
In this paper, we present a multi-dimensional extension of an image feature extractor, the scale saliency algorithm by Kadir and Brady. In order to avoid the curse of dimensionalit...
Pablo Suau, Francisco Escolano
HIPC
2009
Springer
15 years 4 months ago
Automatic data placement and replication in grids
Data grids provide geographically distributed storage and computing resources for large data-intensive applications. To support fast data access and processing, effective data man...
Ying Ding, Ying Lu
ICML
2009
IEEE
16 years 7 months ago
Gradient descent with sparsification: an iterative algorithm for sparse recovery with restricted isometry property
We present an algorithm for finding an ssparse vector x that minimizes the squareerror y - x 2 where satisfies the restricted isometry property (RIP), with isometric constant 2s ...
Rahul Garg, Rohit Khandekar
NCA
2009
IEEE
16 years 1 months ago
Seed Scheduling for Peer-to-Peer Networks
—The initial phase in a content distribution (file sharing) scenario is delicate due to the lack of global knowledge and the dynamics of the overlay. An unwise distribution of t...
Flavio Esposito, Ibrahim Matta, Pietro Michiardi, ...