Sciweavers

8496 search results - page 154 / 1700
» Problem Solving and Complex Systems
Sort
View
SIAMJO
2008
82views more  SIAMJO 2008»
13 years 9 months ago
Primal-Dual Affine Scaling Interior Point Methods for Linear Complementarity Problems
A first order affine scaling method and two mth order affine scaling methods for solving monotone linear complementarity problems (LCP) are presented. All three methods produce ite...
Florian A. Potra
SOFSEM
2012
Springer
12 years 4 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
ICDAR
2009
IEEE
13 years 7 months ago
Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
Pierre Le Bodic, Hervé Locteau, Séba...
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
13 years 4 months ago
Asymmetric information diffusion via gossiping on static and dynamic networks
In this paper we consider the problem of gossiping in a network to diffuse the average of a sub-set of nodes, called sources, and directing it to another sub-set of nodes in the ne...
Mehmet Ercan Yildiz, Anna Scaglione, Asuman E. Ozd...
FAST
2007
13 years 10 months ago
Proportional-Share Scheduling for Distributed Storage Systems
Fully distributed storage systems have gained popularity in the past few years because of their ability to use cheap commodity hardware and their high scalability. While there are...
Yin Wang, Arif Merchant