Sciweavers

4836 search results - page 379 / 968
» Exploring the Similarity Space
Sort
View
ENTCS
2007
97views more  ENTCS 2007»
15 years 7 months ago
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...
ALIFE
2002
15 years 7 months ago
Ant Colony Optimization and Stochastic Gradient Descent
In this paper, we study the relationship between the two techniques known as ant colony optimization (aco) and stochastic gradient descent. More precisely, we show that some empir...
Nicolas Meuleau, Marco Dorigo
IJCV
2002
172views more  IJCV 2002»
15 years 7 months ago
Using Multiple-Hypothesis Disparity Maps and Image Velocity for 3-D Motion Estimation
In this paper we explore a multiple hypothesis approach to estimating rigid motion from a moving stereo rig. More precisely, we introduce the use of Gaussian mixtures to model cor...
David Demirdjian, Trevor Darrell
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
Shared Hash Tables in Parallel Model Checking
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
Jiri Barnat, Petr Rockai
ICRA
2010
IEEE
105views Robotics» more  ICRA 2010»
15 years 6 months ago
On the implementation of single-query sampling-based motion planners
— Single-query sampling-based motion planners are an efficient class of algorithms widely used today to solve challenging motion planning problems. This paper exposes the common...
Ioan Alexandru Sucan, Lydia E. Kavraki