Sciweavers

3678 search results - page 27 / 736
» On the Stable Paths Problem
Sort
View
133
Voted
ASPDAC
2007
ACM
136views Hardware» more  ASPDAC 2007»
15 years 7 months ago
A Fast and Stable Algorithm for Obstacle-Avoiding Rectilinear Steiner Minimal Tree Construction
- In routing, finding a rectilinear Steiner minimal tree (RSMT) is a fundamental problem. Today's design often contains rectilinear obstacles, like macro cells, IP blocks, and...
Pei-Ci Wu, Jhih-Rong Gao, Ting-Chi Wang
119
Voted
PKDD
2010
Springer
169views Data Mining» more  PKDD 2010»
15 years 1 months ago
Efficient and Numerically Stable Sparse Learning
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
Sihong Xie, Wei Fan, Olivier Verscheure, Jiangtao ...
131
Voted
LPNMR
2001
Springer
15 years 8 months ago
Bounded LTL Model Checking with Stable Models
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
Keijo Heljanko, Ilkka Niemelä
109
Voted
AI
2004
Springer
15 years 3 months ago
Stable repeated strategies for information exchange between two autonomous agents
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...
Rina Azoulay-Schwartz, Sarit Kraus
125
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 26 days ago
Stable comparison of multidimensional persistent homology groups with torsion
The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in P...
Patrizio Frosini