Sciweavers

615 search results - page 10 / 123
» fast 2003
Sort
View
CCS
2003
ACM
14 years 24 days ago
Fast automatic synthesis of security protocols using backward search
Ò ÙØÓÑ Ø × ÙÖ ØÝ ÔÖÓØÓ ÓÐ Ò Ö ØÓÖ × ÔÖÓÔÓ× Ø Ø Ù× × ÐÓ ¹ × ×ÝÒØ × × ÖÙÐ × ØÓ Ù Ø Ò Û Ö × Ö ÓÖ ×Ù Ø Ð ÔÖÓØÓ Ó...
Hongbin Zhou, Simon N. Foley
MASCOTS
2003
13 years 9 months ago
Large-Scale Network Simulation: How Big? How Fast?
Richard M. Fujimoto, Kalyan S. Perumalla, Alfred P...
IJCAI
2003
13 years 9 months ago
FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges
Proceedings of IJCAI 2003 In [15], Montemerlo et al. proposed an algorithm called FastSLAM as an efficient and robust solution to the simultaneous localization and mapping proble...
Michael Montemerlo, Sebastian Thrun, Daphne Koller...
MRC
2003
124views Robotics» more  MRC 2003»
13 years 9 months ago
A Human-Robot Interface for Urban Search and Rescue
This paper describes the Swarthmore College entry in the 2003 Urban Search and Rescue [USR] Event at the 2003 American Association for Artificial Intelligence Robot Competition. ...
Bruce A. Maxwell, Nicolas Ward, Frederick Heckel
ERSHOV
2003
Springer
14 years 24 days ago
A Polymorphic Radix- n Framework for Fast Fourier Transforms
We provide a polymorphic framework for radix-n Fast Fourier Transforms (FFTs) where all known kinds of monomoporhic radix-n algorithms can be obtained by specialization. The framew...
Marcin Zalewski, Sibylle Schupp