1884 search results - page 115 / 377 » Simple Algorithm for Simple Timed Games |
116
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract— This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We ...
112
click to vote
DAM
2011
14 years 9 months ago
2011
We present a collection of new structural, algorithmic, and complexity results for two types of matching problems. The first problem involves the computation of k-maximal matchin...
106
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...
106
Voted
LMCS
2007
15 years 2 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
192
click to vote
SIGECOM
2011
ACM
14 years 5 months ago
2011
ACM
We present algorithms for a class of resource allocation problems both in the online setting with stochastic input and in the offline setting. This class of problems contains man...