7380 search results - page 291 / 1476 » time 2008 |
177
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the gam...
129
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes the Signature Compiler, which can compile an LF signature to a custom proof checker in either C++ or Java, specialized for that signature. Empirical results a...
143
click to vote
CGF
2006
15 years 6 months ago
2006
In this paper we extract and visualize the topological skeleton of two-parameter-dependent vector fields. This kind of vector data depends on two parameter dimensions, for instanc...
179
Voted
COMCOM
2004
15 years 6 months ago
2004
The worst-case fairness index (WFI) has proved to be an important metric in the provision of fairness and bounded delay in both wired and wireless networks. A feature of wireless l...
172
click to vote
TROB
2002
15 years 6 months ago
2002
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...