3818 search results - page 211 / 764 » Word Problems on Compressed Words |
139
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
148
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
167
click to vote
COLING
2008
15 years 8 months ago
2008
This paper addresses the fundamental problem of document classification, and we focus attention on classification problems where the classes are mutually exclusive. In the course ...
172
click to vote
AIA
2006
15 years 8 months ago
2006
This paper presents a dynamic neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by use of th...
152
click to vote
SODA
1997
ACM
15 years 7 months ago
1997
ACM
The permutation routing problem is studied for trees under the matching model. By introducing a novel and useful (so-called) caterpillar tree partition, we prove that any permutati...