896 search results - page 98 / 180 » On completeness of word reversing |
90
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents the results of the second test phase of the RIMES1 evaluation campaign. The latter is the first large-scale evaluation campaign intended to all the key players...
103
click to vote
ADHOCNOW
2009
Springer
15 years 7 months ago
2009
Springer
The aim of this paper is to design efficient gathering algorithms (data collection) in a Base Station of a wireless multi hop grid network when interferences constraints are presen...
90
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
91
Voted
INTETAIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Input from the lower body in human-computer interfaces can be beneficial, enjoyable and even entertaining when users are expected to perform tasks simultaneously. Users ...
76
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...