4463 search results - page 305 / 893 » computing 2000 |
132
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate the periodic structure of rich words (i.e., words having the highest possible number of palindromic factors), giving new results relating them with per...
129
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
160
click to vote
BMVC
2000
15 years 8 months ago
2000
Foveal or spatially-variant image representations are important components of active vision systems. Log-polar sampling is a particularly powerful example as a result of the simpl...
180
click to vote
CMOT
2000
15 years 6 months ago
2000
A variety of different multi-agent (competitive) network models have been described in the literature. Computational techniques for solving such models often involve the iterative...
134
Voted
STACS
2000
Springer
15 years 10 months ago
2000
Springer
The k-server problem is one of the most fundamental online problems. The problem is to schedule k mobile servers to visit a sequence of points in a metric space with minimum total...