1760 search results - page 215 / 352 » Program Analysis Using Weighted Pushdown Systems |
164
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
139
click to vote
NECO
2007
15 years 4 months ago
2007
In recent years, gradient-based LSTM recurrent neural networks (RNNs) solved many previously RNN-unlearnable tasks. Sometimes, however, gradient information is of little use for t...
163
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequency-division mult...
187
Voted
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
158
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...