880 search results - page 71 / 176 » The SLAM problem: a survey |
174
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
127
click to vote
GREC
2003
Springer
15 years 11 months ago
2003
Springer
A brief survey on on-line graphics recognition is presented. We first present some common scenarios and applications of on-line graphics recognition and then identify major problem...
222
click to vote
CALC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This talk is a brief survey of recent results and ideas concerning the problem of finding a small root of a univariate polynomial mod N, and the companion problem of fi...
153
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
154
click to vote
DAM
1999
15 years 6 months ago
1999
The definitions of four previously studied parameters related to total coverings and total matchings of graphs can be restricted, thereby obtaining eight parameters related to cov...