6047 search results - page 610 / 1210 » Modeling with Extend |
198
Voted
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
162
Voted
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
Structural equation models have been widely used to study causal relationships between continuous variables. Recently, a non-Gaussian method called LiNGAM was proposed to discover ...
200
Voted
LICS
2003
IEEE
16 years 17 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
198
Voted
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
Internet-scale security incidents are becoming increasingly common, and the researchers need tools to replicate and study them in a controlled setting. Current network simulators,...
189
click to vote
ICRA
2002
IEEE
16 years 7 days ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...