Sciweavers

3972 search results - page 109 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
136
Voted
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
14 years 10 months ago
Nonlinear state-dependent delay modeling and stability analysis of internet congestion control
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
Corentin Briat, Håkan Hjalmarsson, Karl Henr...
118
Voted
STOC
2012
ACM
222views Algorithms» more  STOC 2012»
13 years 5 months ago
An analysis of one-dimensional schelling segregation
We analyze the Schelling model of segregation in which a society of n individuals live in a ring. Each individual is one of two races and is only satisfied with his location so l...
Christina Brandt, Nicole Immorlica, Gautam Kamath,...
134
Voted
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
15 years 10 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
SIBGRAPI
2005
IEEE
15 years 9 months ago
True Factor Analysis in Medical Imaging: Dealing with High-Dimensional Spaces
This article presents a new method for discovering hidden patterns in high-dimensional dataset resulting from image registration. It is based on true factor analysis, a statistica...
Alexei Manso Correa Machado
134
Voted
FSTTCS
2004
Springer
15 years 8 months ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer