Sciweavers

2366 search results - page 78 / 474
» Mapping time
Sort
View
FSTTCS
2007
Springer
14 years 3 months ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...
CLOUDCOM
2010
Springer
13 years 7 months ago
Scaling Populations of a Genetic Algorithm for Job Shop Scheduling Problems Using MapReduce
Inspired by Darwinian evolution, a genetic algorithm (GA) approach is one of the popular heuristic methods for solving hard problems, such as the Job Shop Scheduling Problem (JSSP...
Di-Wei Huang, Jimmy Lin
CORR
2011
Springer
184views Education» more  CORR 2011»
13 years 4 months ago
Finding Shortest Path for Developed Cognitive Map Using Medial Axis
— this paper presents an enhancement of the medial axis algorithm to be used for finding the optimal shortest path for developed cognitive map. The cognitive map has been develop...
Hazim A. Farhan, Hussein H. Owaied, Suhaib I. Al-G...
ICRA
2005
IEEE
141views Robotics» more  ICRA 2005»
14 years 3 months ago
Interactive SLAM using Laser and Advanced Sonar
Abstract— This paper presents a novel approach to mapping for mobile robots that exploits user interaction to semiautonomously create a labelled map of the environment. The robot...
Albert Diosi, Geoffrey Taylor, Lindsay Kleeman
CONCUR
2004
Springer
14 years 3 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada