2713 search results - page 271 / 543 » Parameterized Tree Systems |
177
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Following the seminal work of Zheng and Tse on the diversity and multiplexing tradeoff (DMT) of MIMO channels, in this paper we introduce the array gain to investigate the fundame...
221
click to vote
EVOW
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. We consider the two-echelon location-routing problem (2ELRP), a well-known problem in freight distribution arising when establishing a two-level transport system with lim...
209
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
182
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
143
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The automation of forest cleaning presupposes principles for choosing those trees that ought to be taken away and those that shall be left standing. In this paper, which is a repor...