Sciweavers

1327 search results - page 186 / 266
» Path following algorithm for the graph matching problem
Sort
View
120
Voted
TIT
2010
97views Education» more  TIT 2010»
14 years 10 months ago
Periodic orbits and equilibria in glass models for gene regulatory networks
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
Igor Zinovik, Yury Chebiryak, Daniel Kroening
116
Voted
PODC
2009
ACM
16 years 4 months ago
Bounding the locality of distributed routing algorithms
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...
Prosenjit Bose, Paz Carmi, Stephane Durocher
154
Voted
ESA
2007
Springer
118views Algorithms» more  ESA 2007»
15 years 10 months ago
A New ILP Formulation for 2-Root-Connected Prize-Collecting Steiner Networks
We consider the real-world problem of extending a given infrastructure network in order to connect new customers. By representing the infrastructure by a single root node, this pro...
Markus Chimani, Maria Kandyba, Petra Mutzel
154
Voted
SPIN
2000
Springer
15 years 7 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
CORR
2010
Springer
204views Education» more  CORR 2010»
15 years 3 months ago
Optimization Framework and Graph-Based Approach for Relay-Assisted Bidirectional OFDMA Cellular Networks
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequencydivision multi...
Yuan Liu, Meixia Tao, Bin Li, Hui Shen