3338 search results - page 166 / 668 » Assigning Papers to Referees |
147
Voted
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
153
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to solutions, and then pick the ...
146
click to vote
GD
2001
Springer
15 years 10 months ago
2001
Springer
This paper studies the problem of computing an orthogonal drawing of a graph with labels along the edges. Labels are not allowed to overlap with each other or with edges to which t...
149
click to vote
ROBOCUP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes a two-tiered approach to the self-localization problem for soccer playing robots using generic off-the-shelf color cameras. The solution consists of...
154
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
— This paper proposes a numerical method for characterizing the achievable rate region for a Gaussian multiple access channel with ISI under the frequency division multiple acces...