Sciweavers

2397 search results - page 43 / 480
» Applications of integer relation algorithms
Sort
View
GLOBECOM
2007
IEEE
14 years 5 months ago
Relative Distance Based Localization for Mobile Sensor Networks
— Many sensor network applications exploit the mobility of sensor nodes and the location-awareness plays an important role in these applications. However, it is too expensive to ...
Ji Luo, Qian Zhang
SAS
2005
Springer
14 years 4 months ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
Markus Müller-Olm, Helmut Seidl
ATVA
2009
Springer
158views Hardware» more  ATVA 2009»
14 years 5 months ago
Logahedra: A New Weakly Relational Domain
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
Jacob M. Howe, Andy King
ATAL
2007
Springer
14 years 5 months ago
On the Empirical Evaluation of Mixed Multi-Unit Combinatorial Auctions
Abstract. Mixed Multi-Unit Combinatorial Auctions extend and generalise all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical ap...
Meritxell Vinyals, Jesús Cerquides
STOC
2010
ACM
269views Algorithms» more  STOC 2010»
14 years 3 months ago
Approximations for the Isoperimetric and Spectral Profile of Graphs and Related Parameters
The spectral profile of a graph is a natural generalization of the classical notion of its Rayleigh quotient. Roughly speaking, given a graph G, for each 0 < < 1, the spect...
Prasad Raghavendra, David Steurer and Prasad Tetal...