1650 search results - page 117 / 330 » The HOM problem is decidable |
121
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
125
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
116
click to vote
CRV
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we develop a new tracking approach which is based on cooperation and coordination of multiple agents which are pan-tilt-zoom cameras to optimize the cost of trackin...
112
click to vote
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
Given an elementary function with algebraic branch cuts, we show how to decide which sheet of the associated Riemann surface we are on at any given point. We do this by establishi...
123
click to vote
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The hotspot seriously degrades the performance of a parallel algorithm but there have not been many methods proposed for this problem. Without modification of mesh topolo...