8512 search results - page 164 / 1703 » Computing Theory With Relevance |
137
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
133
click to vote
ICNP
2002
IEEE
15 years 9 months ago
2002
IEEE
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
147
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
114
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
129
Voted
REX
1991
15 years 8 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...